X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=f4d3b93314b4ad22dba40d4d56043fd5643c01d1;hb=85683f798e0955c43cf6cd8099713c45d9ce882b;hp=aa3d24548a554ab039074282f5bab3246e3d3ccd;hpb=e00292b5adf2b85eb1c6e2399159b5c28fde48eb;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index aa3d245..f4d3b93 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -174,7 +174,7 @@ bool CycleGraph::checkReachable(const ModelAction *from, const ModelAction *to)
  */
 bool CycleGraph::checkReachable(CycleNode *from, CycleNode *to) {
 	std::vector<CycleNode *, ModelAlloc<CycleNode *> > queue;
-	HashTable<CycleNode *, CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> discovered;
+	HashTable<CycleNode *, CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> discovered(64);
 
 	queue.push_back(from);
 	discovered.put(from, from);