From f04c5447f13de3d5f9c834eefb441ceca544c909 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sun, 29 Jan 2023 20:28:40 +0100
Subject: [PATCH] added memory header to why2 header

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

diff --git a/include/why2.h b/include/why2.h
index 00bc93a..2ed8e0f 100644
--- a/include/why2.h
+++ b/include/why2.h
@@ -29,6 +29,7 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 #include <why2/decrypter.h>
 #include <why2/encrypter.h>
 #include <why2/flags.h>
+#include <why2/memory.h>
 #include <why2/misc.h>
 
 //LOGGER