From 5d097ed766b5168734b0e61f129f8d67d09b412d Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 13 Apr 2023 15:49:15 +0200
Subject: [PATCH] added llist header into why2.h

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

diff --git a/include/why2.h b/include/why2.h
index 2ed8e0f..79b3235 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/llist.h>
 #include <why2/memory.h>
 #include <why2/misc.h>