X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=57ac52ee25ba541da665b1440c5ab0e7a7bead35;hb=7524803854c2de38c0311fe5037e3c17105ccfaa;hp=cd1eceea744b2262f2899542aa59dd0ece45db88;hpb=216b2766b35830e1abef08b7cefc23f145e520c0;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index cd1ecee..57ac52e 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -148,7 +148,7 @@ int SnapshotStack::backTrackBeforeStep(int seqindex)
 /** This method takes a snapshot at the given sequence number. */
 void SnapshotStack::snapshotStep(int seqindex)
 {
-	stack.push_back(snapshot_entry(seqindex, take_snapshot()));
+	stack.push_back(snapshot_entry(take_snapshot(), seqindex));
 }
 
 void snapshot_stack_init()