From cfb55cd4932738f9f430b8f71f8fdbc274c8944f Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Tue, 24 May 2022 18:17:49 +0200
Subject: [PATCH] removed stdlib from why2-app

idk why it was there
---
 src/app/main.c | 1 -
 1 file changed, 1 deletion(-)

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>