snapshot-interface: cleanup interface header

[c11tester.git] / snapshot-interface.cc

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 76cb8f4ea2635afc940fec658477840d9933dbc1..b0df836221df41cd309636ae50c6149d3de4ef81 100644 (file)
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -5,7 +5,10 @@
 #include <sys/types.h>
 #include <sstream>
 #include <cstring>
+#include <string>
 #include <cassert>
+#include <vector>
+#include <utility>
 
 #define MYBINARYNAME "model"
 #define MYLIBRARYNAME "libmodel.so"
@@ -13,6 +16,8 @@
 #define REPLACEPOS             6
 #define PAGESIZE 4096
 
+typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;
+
 snapshotStack * snapshotObject;
 
 /*This looks like it might leak memory...  Subramanian should fix this. */