From: Brian Norris <banorris@uci.edu>
Date: Mon, 15 Apr 2013 03:57:48 +0000 (-0700)
Subject: scanalysis: remove whitespace
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=b4162a5ce2af6affc0ea425aa31cebbc5f5257e9;hp=d21164220a0d87ae931bf50d0e97ebf838742659

scanalysis: remove whitespace
---

diff --git a/scanalysis.cc b/scanalysis.cc
index b1b6a057..2bc275d7 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -93,7 +93,7 @@ ModelAction * SCAnalysis::getNextAction() {
 	return act;
 }
 
-action_list_t * SCAnalysis::generateSC(action_list_t *list) {	
+action_list_t * SCAnalysis::generateSC(action_list_t *list) {
 	action_list_t *sclist=new action_list_t();
 	while (true) {
 		ModelAction * act=getNextAction();
@@ -148,7 +148,7 @@ bool SCAnalysis::updateConstraints(ModelAction *act) {
 				changed=true;
 				break;
 			}
-		}		
+		}
 	}
 	return changed;
 }
@@ -178,14 +178,14 @@ bool SCAnalysis::processRead(ModelAction *read, ClockVector *cv) {
 			ClockVector *write2cv = cvmap->get(write2);
 			if (write2cv == NULL)
 				continue;
-			
+
 			/* write -sc-> write2 &&
 				 write -rf-> R =>
 				 R -sc-> write2 */
 			if (write2cv->synchronized_since(write)) {
 				changed |= merge(write2cv, write2, cv);
 			}
-		
+
 			//looking for earliest write2 in iteration to satisfy this
 			/* write2 -sc-> R &&
 				 write -rf-> R =>