cyclegraph: fix insignificant memory leak

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index edf582b318d05bc731fb1fee943589fbd373610e..168ad90cdb0c4930d045d2dd97d2d45cc2e2f068 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -17,6 +17,7 @@ CycleGraph::CycleGraph() :
 /** CycleGraph destructor */
 CycleGraph::~CycleGraph()
 {
+       delete discovered;
 }
 
 /**