X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.h;fp=nodestack.h;h=47c0272f95fa917e8710235fa0d56b02194a4d08;hp=8ad329eeaf04f09eb4037c6d9dc6931e8cc1524a;hb=7524803854c2de38c0311fe5037e3c17105ccfaa;hpb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c

diff --git a/nodestack.h b/nodestack.h
index 8ad329e..47c0272 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,7 +5,7 @@
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
-#include <vector>
+#include "stl_wrappers.h"
 #include <cstddef>
 #include <inttypes.h>
 
@@ -163,7 +163,7 @@ private:
 	int * yield_data;
 };
 
-typedef std::vector< Node *, ModelAlloc< Node * > > node_list_t;
+typedef model_vector< Node * > node_list_t;
 
 /**
  * @brief A stack of nodes