From c57cc6f068f6c056922449c4e0e699eefa8c2d9c Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sat, 26 Aug 2023 18:07:04 +0200
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 8fe7c89..e606d9e 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 <string.h>