X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=e96549ff1fddcace369f57102572edf2c6bf9c32;hb=b2f34d7f1d030f414786ea0b1a5709dcac604c7b;hp=20623347213d0958bfdff79d142595420461b015;hpb=7524803854c2de38c0311fe5037e3c17105ccfaa;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 2062334..e96549f 100644
--- 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 model_vector< const CycleNode * >()),
+	queue(new std::vector< const CycleNode *, ModelAlloc<const CycleNode *> >()),
 	hasCycles(false),
 	oldCycles(false)
 {