From 6cad1c3079216a70ec544f70b80cfa88efffe690 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 2 Feb 2023 18:10:32 +0100
Subject: [PATCH] removed unused include from flags

---
 src/core/lib/flags.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/core/lib/flags.c b/src/core/lib/flags.c
index f75dc9f..a43571e 100644
--- a/src/core/lib/flags.c
+++ b/src/core/lib/flags.c
@@ -18,7 +18,6 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 #include <why2/flags.h>
 
-#include <stdio.h>
 #include <stdlib.h>
 
 #include <why2/memory.h>