From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Mar 2013 01:50:08 +0000 (-0800)
Subject: cyclegraph: memory "leak", fixup
X-Git-Tag: oopsla2013~160
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=aadb8b01b29561f27bb392a24f18809ea0e4e03d

cyclegraph: memory "leak", fixup

An insignificant memory leak.
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 240d24f..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	std::vector< const CycleNode *, ModelAlloc<const CycleNode *> >()),
+	queue(new std::vector< const CycleNode *, ModelAlloc<const CycleNode *> >()),
 	hasCycles(false),
 	oldCycles(false)
 {
@@ -17,6 +17,7 @@ CycleGraph::CycleGraph() :
 /** CycleGraph destructor */
 CycleGraph::~CycleGraph()
 {
+	delete queue;
 	delete discovered;
 }