X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=common.h;fp=common.h;h=7be72d72f8e0b56fc8f333ffe25489685b053f60;hp=62c16f45250e55a693864fd17759b9673d0220d6;hb=01f8364dda87f16e1a8823232c2d90de1d5168a6;hpb=178fa56c36e45267d59c545dea0b9c7be93a4e1e

diff --git a/common.h b/common.h
index 62c16f4..7be72d7 100644
--- a/common.h
+++ b/common.h
@@ -9,8 +9,9 @@
 #include "config.h"
 
 extern int model_out;
+extern int switch_alloc;
 
-#define model_print(fmt, ...) do { dprintf(model_out, fmt, ##__VA_ARGS__); } while (0)
+#define model_print(fmt, ...) do { switch_alloc = 1; dprintf(model_out, fmt, ##__VA_ARGS__); switch_alloc = 0; } while (0)
 
 #ifdef CONFIG_DEBUG
 #define DEBUG(fmt, ...) do { model_print("*** %15s:%-4d %25s() *** " fmt, __FILE__, __LINE__, __func__, ##__VA_ARGS__); } while (0)