removed stdlib from why2-app

idk why it was there
2022-05-24 18:17:49 +02:00 · 2022-05-24 18:17:49 +02:00 · cfb55cd493
commit cfb55cd493
parent e4a2986c12
1 changed files with 0 additions and 1 deletions
--- a/src/app/main.c
+++ b/src/app/main.c
@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <stdlib.h>

 #include <why2.h>