From 5498be615b0b52206d1378a3096c59e25d4e65ea Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= <jerome.benoit@piment-noir.org>
Date: Tue, 6 Mar 2018 11:56:15 +0100
Subject: [PATCH] Code cleanup.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---
 peterson/peterson.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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