my changes

[model-checker.git] / snapshot-interface.h

diff --git a/snapshot-interface.h b/snapshot-interface.h
index 5f5f4ea01246b8fa506e06dcfb5cba5f3a38ef81..cbebcd58f84a5902fcb784de16f0d439b137513b 100644 (file)
--- a/snapshot-interface.h
+++ b/snapshot-interface.h
@@ -32,4 +32,9 @@ class snapshotStack {
  private: 
   struct stackEntry * stack;
 };
+
+/* Not sure what it even means to have more than one snapshot object,
+   so let's just make a global reference to it.*/
+
+extern snapshotStack * snapshotObject;
 #endif