model: remove scheduler comment

It's being snapshotted now.

diff --git a/model.cc b/model.cc
index d28c1c26634ab2c772aab5881db6d78d49ffcaac..06fe72f87f7cd04c832a19dcc46c1f2bb0ebc7c1 100644 (file)
--- 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);
 }