diff -r 44986c0e2b05 -r d92a59f5d261 src/CMakeLists.txt
--- a/src/CMakeLists.txt	Wed Jun 28 19:18:01 2023 +0200
+++ b/src/CMakeLists.txt	Wed Jun 28 20:07:52 2023 +0200
@@ -9,7 +9,7 @@
         map.c
         hash_key.c
         hash_map.c
-        basic_mempool.c
+        mempool.c
         printf.c
         compare.c
 )
@@ -28,7 +28,6 @@
         cx/hash_key.h
         cx/hash_map.h
         cx/mempool.h
-        cx/basic_mempool.h
         cx/printf.h
         cx/compare.h
         )