From 22db4187dc9059566771685e29e0180fa43e5c65 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 18 Nov 2022 19:27:49 +0100
Subject: [PATCH] added logger flags into why2.h

---
 include/why2.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/why2.h b/include/why2.h
index 1f40365..ef3e930 100644
--- a/include/why2.h
+++ b/include/why2.h
@@ -14,6 +14,7 @@
 #include <why2/misc.h>
 
 //LOGGER
+#include <why2/logger/flags.h>
 #include <why2/logger/logger.h>
 
 #endif
\ No newline at end of file