From: Hamed <hamed.gorjiara@gmail.com>
Date: Fri, 7 Jul 2017 06:21:25 +0000 (-0700)
Subject: Fixing assert_hook bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2e00fbc0a4da4ac666441f38441c2285eba94fd0;p=satune.git

Fixing assert_hook bug
---

diff --git a/src/common.c b/src/common.c
new file mode 100644
index 0000000..660472f
--- /dev/null
+++ b/src/common.c
@@ -0,0 +1,6 @@
+#include "common.h"
+
+void assert_hook(void)
+{
+	model_print("Add breakpoint to line %u in file %s.\n", __LINE__, __FILE__);
+}
\ No newline at end of file