switch to snapshot/modelalloc versions of stl classes

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 240d24ffadd0b52af69e9318e53172f0806c6bb8..20623347213d0958bfdff79d142595420461b015 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -8,7 +8,7 @@
 /** Initializes a CycleGraph object. */
 CycleGraph::CycleGraph() :
        discovered(new HashTable<const CycleNode *, const CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free>(16)),
-       queue(new       std::vector< const CycleNode *, ModelAlloc<const CycleNode *> >()),
+       queue(new model_vector< const CycleNode * >()),
        hasCycles(false),
        oldCycles(false)
 {
@@ -17,6 +17,7 @@ CycleGraph::CycleGraph() :
 /** CycleGraph destructor */
 CycleGraph::~CycleGraph()
 {
+       delete queue;
        delete discovered;
 }