added memory header to why2 header

2023-01-29 20:28:40 +01:00 · 2023-01-29 20:28:40 +01:00 · f04c5447f1
commit f04c5447f1
parent 2bfec0be95
1 changed files with 1 additions and 0 deletions
--- 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