X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=common.cc;h=b71c00ab804e5a7b1817790ac825791761b8f0d8;hb=aadb8b01b29561f27bb392a24f18809ea0e4e03d;hp=e6c6cce60ccd2e2b73bc22d5ae48129a37c307b1;hpb=a003fc3b8b27621ca4c3e60cec0ddfebcea0fc72;p=model-checker.git

diff --git a/common.cc b/common.cc
index e6c6cce..b71c00a 100644
--- a/common.cc
+++ b/common.cc
@@ -47,7 +47,7 @@ void model_print_summary(void)
 
 void assert_hook(void)
 {
-	model_print("Add breakpoint to line %u in file %s.\n",__LINE__,__FILE__);
+	model_print("Add breakpoint to line %u in file %s.\n", __LINE__, __FILE__);
 }
 
 void model_assert(bool expr, const char *file, int line)