From: Brian Norris <banorris@uci.edu>
Date: Mon, 30 Apr 2012 23:35:59 +0000 (-0700)
Subject: model: remove braces
X-Git-Tag: pldi2013~479
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=c6d91a093b2db44e912b356e709d010dfb8ac303;ds=sidebyside

model: remove braces
---

diff --git a/model.cc b/model.cc
index f447c1d..3cc536b 100644
--- a/model.cc
+++ b/model.cc
@@ -38,9 +38,8 @@ void ModelChecker::reset_to_initial_state()
 {
 	DEBUG("+++ Resetting to initial state +++\n");
 	std::map<thread_id_t, class Thread *>::iterator it;
-	for (it = thread_map.begin(); it != thread_map.end(); it++) {
+	for (it = thread_map.begin(); it != thread_map.end(); it++)
 		delete (*it).second;
-	}
 	thread_map.clear();
 	action_trace = new action_list_t();
 	currentNode = rootNode;