From: Brian Norris <banorris@uci.edu>
Date: Mon, 15 Apr 2013 06:11:53 +0000 (-0700)
Subject: model: fixup whitespace
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e61244213160c2151a77c7cf8ca8beb865e62140;p=cdsspec-compiler.git

model: fixup whitespace
---

diff --git a/model.cc b/model.cc
index 23efa8f..3be75b2 100644
--- a/model.cc
+++ b/model.cc
@@ -123,7 +123,7 @@ ModelChecker::~ModelChecker()
 	delete thrd_last_action;
 	delete thrd_last_fence_release;
 	delete node_stack;
-	for (unsigned int i = 0; i <trace_analyses->size();i++)
+	for (unsigned int i = 0; i < trace_analyses->size(); i++)
 		delete (*trace_analyses)[i];
 	delete trace_analyses;
 	delete scheduler;
@@ -596,13 +596,10 @@ bool ModelChecker::next_execution()
 	return true;
 }
 
-/**
- * @brief Run trace analyses on complete trace. */
-
+/** @brief Run trace analyses on complete trace */
 void ModelChecker::run_trace_analyses() {
-	for(unsigned int i=0; i < trace_analyses->size(); i++) {
+	for (unsigned int i = 0; i < trace_analyses->size(); i++)
 		(*trace_analyses)[i]->analyze(action_trace);
-	}
 }
 
 /**