X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=689fe9dd4dbd3698e66d5bfe5adfbd66330efbe6;hb=5178739a27add5e59a1213c9ac90e73397c1a23d;hp=815a382360d5ed87763fe64e5bdf497cdeb243ae;hpb=9508fe09d2eeaaf7fbe7193d9cb81b3bc66316b5;p=model-checker.git

diff --git a/main.cc b/main.cc
index 815a382..689fe9d 100644
--- a/main.cc
+++ b/main.cc
@@ -11,6 +11,7 @@
 
 /* global "model" object */
 #include "model.h"
+#include "params.h"
 #include "snapshot-interface.h"
 #include "scanalysis.h"