diff --git a/prod_cons b/prod_cons
index 65abafcfb3eab3327a84009f940fc07b15475d68..d067e54b6d4655ebd7be0ca43ee58e369c8e7ba3 100755
Binary files a/prod_cons and b/prod_cons differ
diff --git a/prod_cons.c b/prod_cons.c
index ba7c0c3cb5e177cffa0b6cd6e34a036ddf2a5c67..f555aa0519759b53b7ff28165f6ae6d0c60282e2 100644
--- a/prod_cons.c
+++ b/prod_cons.c
@@ -207,7 +207,8 @@ void *task_f(){
 
   for (int k = 0; k < 6; k++){
     close_queue(&queue[k]);
-    for (int i = 0; i < 2; i++) sem_post(queue[k].libre);
+    sem_post(queue[k].libre);
+    sem_post(queue[k].used);
   }
 
 	printf("task F stopped!\n");
diff --git a/prod_cons.o b/prod_cons.o
index 29a2336a1491f592449f30b4c0c7b318d56b2772..c665364f51fb17f6898ae45c22257ba7371f4e17 100644
Binary files a/prod_cons.o and b/prod_cons.o differ