From ed19479e21a31dff8aba28556cd08fccb26a4296 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 18 Nov 2022 17:30:21 +0100
Subject: [PATCH] added logger header into why2.h

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

diff --git a/include/why2.h b/include/why2.h
index 5da47c9..63a9803 100644
--- a/include/why2.h
+++ b/include/why2.h
@@ -12,4 +12,6 @@
 #include <why2/flags.h>
 #include <why2/misc.h>
 
+#include <why2/logger/logger.h>
+
 #endif
\ No newline at end of file