update

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>

diff --git a/ticketlock-testwait/mem-progress.spin b/ticketlock-testwait/mem-progress.spin
index 818f445a74872642af1cadfd92f5998ba7e62b34..c503fbabbdd044c0c9034ef0ec43934da835f6be 100644 (file)
--- 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;
 }