diff --git a/monitor/src/main.c b/monitor/src/main.c index 70cc8477..531e9d77 100644 --- a/monitor/src/main.c +++ b/monitor/src/main.c @@ -464,7 +464,7 @@ static void monitor(void) cont = true; } - if(cont == false) { + if (cont == false) { if (badge < MAX_PDS && pd_names[badge][0] != 0) { puts("faulting PD: "); puts(pd_names[badge]);