X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu%2Furcu.spin;fp=formal-model%2Furcu%2Furcu.spin;h=903782b352ee6a5f8a1d58af29b78fbfea46f355;hb=d4e437ba8e99a9cd38c4ccb1c243427935c8f293;hp=17c6612c8c23880961be2fa63d99b08cfb09e030;hpb=3eecaef8f1728a724a9168056bbd059f55c5023f;p=urcu.git

diff --git a/formal-model/urcu/urcu.spin b/formal-model/urcu/urcu.spin
index 17c6612..903782b 100644
--- a/formal-model/urcu/urcu.spin
+++ b/formal-model/urcu/urcu.spin
@@ -209,7 +209,8 @@ progress_reader:
 				ooo_mem(i);
 				WRITE_CACHED_VAR(urcu_active_readers_one, tmp2);
 			:: else	->
-				WRITE_CACHED_VAR(urcu_active_readers_one, tmp + 1);
+				WRITE_CACHED_VAR(urcu_active_readers_one,
+						 tmp + 1);
 			fi;
 			ooo_mem(i);
 			smp_mb(i);
@@ -285,7 +286,7 @@ progress_writer1:
 		//smp_mc(i);
 		wait_for_quiescent_state(tmp, i, j);
 		//smp_mc(i);
-	#ifndef SINGLE_FLIP
+#ifndef SINGLE_FLIP
 		ooo_mem(i);
 		tmp = READ_CACHED_VAR(urcu_gp_ctr);
 		ooo_mem(i);
@@ -293,7 +294,7 @@ progress_writer1:
 		//smp_mc(i);
 		ooo_mem(i);
 		wait_for_quiescent_state(tmp, i, j);
-	#endif
+#endif
 		ooo_mem(i);
 		smp_mb(i);
 		ooo_mem(i);