params: move model_params to header file
[model-checker.git] / main.cc
diff --git a/main.cc b/main.cc
index 815a382..689fe9d 100644 (file)
--- 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"