From c6d91a093b2db44e912b356e709d010dfb8ac303 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 30 Apr 2012 16:35:59 -0700
Subject: [PATCH] model: remove braces

---
 model.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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