snapshot: move declarations to the right interface header

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index 958a4451594569b3e77d72e942ba200ad52891b3..e8a2b3317dc4ebedc235735fef32d272259d4215 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -4,7 +4,6 @@
 
 /* global "model" object */
 #include "model.h"
-#include "snapshot.h"
 #include "snapshot-interface.h"
 
 /*