X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=snapshot-interface.cc;fp=snapshot-interface.cc;h=dd4810715fac6d21efe60b0941be26586a0928b0;hp=4f9a4d5444008776c1b06a3899f41a1339cecac7;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hpb=5f3838b041321eb417737eed51c8639266c0d77c

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 4f9a4d5..dd48107 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -32,12 +32,12 @@ struct snapshot_entry {
 };
 
 class SnapshotStack {
- public:
+public:
 	int backTrackBeforeStep(int seq_index);
 	void snapshotStep(int seq_index);
 
 	MEMALLOC;
- private:
+private:
 	ModelVector<struct snapshot_entry> stack;
 };
 
@@ -164,7 +164,7 @@ static void SnapshotGlobalSegments()
 int SnapshotStack::backTrackBeforeStep(int seqindex)
 {
 	int i;
-	for (i = (int)stack.size() - 1; i >= 0; i++)
+	for (i = (int)stack.size() - 1;i >= 0;i++)
 		if (stack[i].index <= seqindex)
 			break;
 		else