X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=peterson%2Fpeterson.c;h=dd3eeea2ecc02e705a1aea679cc2638475b7a203;hb=5498be615b0b52206d1378a3096c59e25d4e65ea;hp=f588503e5bb66e64d403f0d6eedb0d93492de320;hpb=155664dba1b537176fb66d28ab4412d1853a195d;p=TD_SE.git

diff --git a/peterson/peterson.c b/peterson/peterson.c
index f588503..dd3eeea 100644
--- 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