From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 01:00:10 +0000 (-0700)
Subject: model: remove scheduler comment
X-Git-Tag: pldi2013~392^2~30
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b6dbb3aeeaefee9d7a1f00c3a1965fa76ba308ca;p=model-checker.git

model: remove scheduler comment

It's being snapshotted now.
---

diff --git a/model.cc b/model.cc
index d28c1c2..06fe72f 100644
--- a/model.cc
+++ b/model.cc
@@ -52,7 +52,6 @@ void ModelChecker::reset_to_initial_state()
 	used_sequence_numbers = 0;
 	nextThread = 0;
 	next_backtrack = NULL;
-	/* scheduler reset ? */
 	snapshotObject->backTrackBeforeStep(0);
 }