more allocation fixes (use snapshotting)

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 90dcdc7f1620c65a47f4a889ca023eb824123cb8..62be08746db8ad95fe4aa09283c2f2034250a750 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -4,6 +4,7 @@
 #include "action.h"
 #include "nodestack.h"
 #include "schedule.h"
+#include "snapshot-interface.h"
 #include "common.h"
 
 #define INITIAL_THREAD_ID      0