$OpenBSD: patch-src_debugger_debugger_cc,v 1.1 2018/04/07 10:55:54 espie Exp $

Index: src/debugger/debugger.cc
--- src/debugger/debugger.cc.orig
+++ src/debugger/debugger.cc
@@ -164,9 +164,9 @@ static void show_breakpoint(struct machine *m, int i)
 {
 	printf("%3i: 0x", i);
 	if (m->cpus[0]->is_32bit)
-		printf("%08"PRIx32, (uint32_t) m->breakpoints.addr[i]);
+		printf("%08" PRIx32, (uint32_t) m->breakpoints.addr[i]);
 	else
-		printf("%016"PRIx64, (uint64_t) m->breakpoints.addr[i]);
+		printf("%016" PRIx64, (uint64_t) m->breakpoints.addr[i]);
 	if (m->breakpoints.string[i] != NULL)
 		printf(" (%s)", m->breakpoints.string[i]);
 	printf("\n");
