X-Git-Url: https://git.piment-noir.org/?p=TD_SE.git;a=blobdiff_plain;f=lecteursredacteurs%2Flecteursredacteurs.c;h=2c485d7d072390e1005292b7e70bba234f18a46b;hp=329be03a639f3ba515f717b63fac552a5c96703e;hb=6773299b929233e5d4f21cfbb65ad49e3e3278b3;hpb=23ab6af8cd97e879765f6033d738b6112dc028aa

diff --git a/lecteursredacteurs/lecteursredacteurs.c b/lecteursredacteurs/lecteursredacteurs.c
index 329be03..2c485d7 100644
--- a/lecteursredacteurs/lecteursredacteurs.c
+++ b/lecteursredacteurs/lecteursredacteurs.c
@@ -27,7 +27,7 @@ static void *lecteur(void *arg)
 			sem_post(&redact);
 		sem_post(&mutex);
 	}
-    return NULL;
+	return NULL;
 }
 
 static void *redacteur(void *arg)
@@ -40,7 +40,7 @@ static void *redacteur(void *arg)
 		sleep(2);
 		sem_post(&redact);
 	}
-    return NULL;
+	return NULL;
 }
 
 int main()