diff --git a/src/app/main.c b/src/app/main.c
index 56bf284..b457cc8 100644
--- a/src/app/main.c
+++ b/src/app/main.c
@@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <stdlib.h>
 
 #include <why2.h>