From 217c1fc99aeb99b8f56c9474d45bad378c3f44e0 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Tue, 22 Nov 2022 18:10:46 +0100
Subject: [PATCH] added logger-utils header into why2 header

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

diff --git a/include/why2.h b/include/why2.h
index ef3e930..0198ec7 100644
--- a/include/why2.h
+++ b/include/why2.h
@@ -16,5 +16,6 @@
 //LOGGER
 #include <why2/logger/flags.h>
 #include <why2/logger/logger.h>
+#include <why2/logger/utils.h>
 
 #endif
\ No newline at end of file