From: Brian Norris <banorris@uci.edu>
Date: Thu, 3 Jan 2013 20:17:37 +0000 (-0800)
Subject: snapshot-interface: bugfix - reorder constructor params
X-Git-Tag: oopsla2013~381
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=64fa7349d52d41bde86c8e07ddc157a1e50a1384;hp=216b2766b35830e1abef08b7cefc23f145e520c0;p=model-checker.git

snapshot-interface: bugfix - reorder constructor params

The snapshot_id should come first.
---

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()