removed unused include from flags

2023-02-02 18:10:32 +01:00 · 2023-02-02 18:10:32 +01:00 · 6cad1c3079
commit 6cad1c3079
parent 1be000e46d
1 changed files with 0 additions and 1 deletions
--- 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>