X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fmcs-lock%2Fmcs-lock.h;fp=benchmark%2Fmcs-lock%2Fmcs-lock.h;h=bf496318f1107cfb709f25ec04c34cc70da39f24;hp=46c65305bd7ea98038dee2460a137012322728b6;hb=7f2fd73fe54a04e0f795e7b8f6e28b3a7708df03;hpb=2d5eeaa6ee1e3f22dff90b00780fdfce5e70b13c

diff --git a/benchmark/mcs-lock/mcs-lock.h b/benchmark/mcs-lock/mcs-lock.h
index 46c6530..bf49631 100644
--- a/benchmark/mcs-lock/mcs-lock.h
+++ b/benchmark/mcs-lock/mcs-lock.h
@@ -54,12 +54,9 @@ public:
 			LANG = CPP;
 			CLASS = mcs_mutex;
 		@Global_define:
-			@DeclareVar:
-				bool _lock_acquired;
-			@InitVar:
-				_lock_acquired = false;
-		@Happens_before:
-			Unlock -> Lock
+			@DeclareVar: bool _lock_acquired;
+			@InitVar: _lock_acquired = false;
+		@Happens_before: Unlock -> Lock
 		@End
 	*/
 
@@ -67,10 +64,8 @@ public:
 		@Begin
 		@Interface: Lock
 		@Commit_point_set: Lock_Enqueue_Point1 | Lock_Enqueue_Point2
-		@Check:
-			_lock_acquired == false;
-		@Action:
-			_lock_acquired = true;
+		@Check: _lock_acquired == false;
+		@Action: _lock_acquired = true;
 		@End
 	*/
 	void lock(guard * I) {
@@ -125,12 +120,9 @@ public:
 	/**
 		@Begin
 		@Interface: Unlock
-		@Commit_point_set:
-			Unlock_Point_Success_1 | Unlock_Point_Success_2
-		@Check:
-			_lock_acquired == true
-		@Action:
-			_lock_acquired = false;
+		@Commit_point_set: Unlock_Point_Success_1 | Unlock_Point_Success_2
+		@Check: _lock_acquired == true
+		@Action: _lock_acquired = false;
 		@End
 	*/
 	void unlock(guard * I) {