From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Tue, 6 Mar 2018 10:56:15 +0000 (+0100)
Subject: Code cleanup.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=5498be615b0b52206d1378a3096c59e25d4e65ea;p=TD_SE.git

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 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