From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 2 Aug 2012 22:40:40 +0000 (-0700)
Subject: bug fix
X-Git-Tag: pldi2013~290
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=64cfd95313cb2f8b62cdfbe22a134889028b34e2;p=model-checker.git

bug fix
---

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 5d160e1..072c1f9 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -123,8 +123,8 @@ int SnapshotStack::backTrackBeforeStep(int seqindex) {
 			return stack->index;
 		}
 		struct stackEntry *tmp=stack;
-		MYFREE(tmp);
 		stack=stack->next;
+		MYFREE(tmp);
 	}
 }