my changes
[c11tester.git] / snapshot-interface.h
index 5f5f4ea..cbebcd5 100644 (file)
@@ -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