X-Git-Url: http://git.lttng.org/?a=blobdiff_plain;f=ticketlock-testwait%2Fmem-progress.spin;h=c503fbabbdd044c0c9034ef0ec43934da835f6be;hb=6e63423374d03c2c55383e19586e3d1b89a9df73;hp=818f445a74872642af1cadfd92f5998ba7e62b34;hpb=5c020b8d7d282dc5251caeb9fe5c4d1dd5be918c;p=urcu.git

diff --git a/ticketlock-testwait/mem-progress.spin b/ticketlock-testwait/mem-progress.spin
index 818f445..c503fba 100644
--- a/ticketlock-testwait/mem-progress.spin
+++ b/ticketlock-testwait/mem-progress.spin
@@ -54,15 +54,11 @@ inline do_pause()
 {
 	if
 	:: need_pause() ->
-		if
+		do
 		:: 1 ->
-			do
-			:: 1 ->
-				skip;
-			od;
-		:: 1 -> skip;
-		fi;
-	:: else ->
+			skip;
+		od;
+	:: 1 ->
 		skip;
 	fi;
 }