my changes
[c11tester.git] / snapshot-interface.cc
index 952d7906c984a75f32be66b45c11eed8ca105611..770f316c788feb503fdad69b392859bffe80e72f 100644 (file)
@@ -13,6 +13,8 @@
 #include <cstring>
 #include <cassert>
 
 #include <cstring>
 #include <cassert>
 
+snapshotStack * snapshotObject;
+
 /*This looks like it might leak memory...  Subramanian should fix this. */
 
 typedef std::basic_stringstream< char, std::char_traits< char >, MyAlloc< char > > MyStringStream;
 /*This looks like it might leak memory...  Subramanian should fix this. */
 
 typedef std::basic_stringstream< char, std::char_traits< char >, MyAlloc< char > > MyStringStream;