update
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 07:27:34 +0000 (03:27 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 07:27:34 +0000 (03:27 -0400)
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
ticketlock-testwait/mem-progress.spin

index 818f445a74872642af1cadfd92f5998ba7e62b34..c503fbabbdd044c0c9034ef0ec43934da835f6be 100644 (file)
@@ -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;
 }
This page took 0.025542 seconds and 4 git commands to generate.