Code cleanup.
[TD_SE.git] / peterson / peterson.c
index f588503e5bb66e64d403f0d6eedb0d93492de320..dd3eeea2ecc02e705a1aea679cc2638475b7a203 100644 (file)
@@ -11,7 +11,7 @@ static void enter_region(int process) {                               // entrĂ©e en SC
        other = 1 - process;
        flags[process] = TRUE;
        turn = process;
-       while (turn == process && flags[other] == TRUE) ;
+       while (turn == process && flags[other] == TRUE);
 }
 
 static void leave_region(int process) {                                // sortie de SC