Code cleanup.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

diff --git a/peterson/peterson.c b/peterson/peterson.c
index f588503e5bb66e64d403f0d6eedb0d93492de320..dd3eeea2ecc02e705a1aea679cc2638475b7a203 100644 (file)
--- a/peterson/peterson.c
+++ b/peterson/peterson.c
@@ -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