Diff between ed64d7d6aeff88284bd4514bc060dedccc437f72 and ecc2b55c52d1e6008a850b5e506f3e1fe2733534
Changed Files
| File | Additions | Deletions | Status |
| monitor/display.h | +1 | -1 | modified |
Full Patch
diff --git a/monitor/display.h b/monitor/display.h
index 621308d..6139cc2 100644
--- a/monitor/display.h
+++ b/monitor/display.h
@@ -46,7 +46,7 @@ do { \
use_color() ? (color1) : "", prefix, title, \
use_color() ? (color2) : "", ## args, \
use_color() ? COLOR_OFF : ""); \
-} while (0);
+} while (0)
#define print_text(color, fmt, args...) \
print_indent(8, COLOR_OFF, "", "", color, fmt, ## args)