From b6dbb3aeeaefee9d7a1f00c3a1965fa76ba308ca Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 18:00:10 -0700
Subject: [PATCH] model: remove scheduler comment

It's being snapshotted now.
---
 model.cc | 1 -
 1 file changed, 1 deletion(-)

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);
 }
 
-- 
2.34.1