X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=model.cc;h=d9caf9a91e72ef727835a24433ba3496c74f7cd6;hp=e0c3089e4ec1558e072cd3577b22caa3d3a546e1;hb=a4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1;hpb=f3359dd1b9ba12e5092504e8e53e3615bdb2956a

diff --git a/model.cc b/model.cc
index e0c3089..d9caf9a 100644
--- a/model.cc
+++ b/model.cc
@@ -36,8 +36,6 @@ ModelChecker::ModelChecker(struct model_params params) :
 ModelChecker::~ModelChecker()
 {
 	delete node_stack;
-	for (unsigned int i = 0; i < trace_analyses.size(); i++)
-		delete trace_analyses[i];
 	delete scheduler;
 }