diff -r 85f55abea563 -r 98da78a1e69a src/map.c
--- a/src/map.c	Thu May 03 10:09:49 2018 +0200
+++ b/src/map.c	Thu May 03 10:44:33 2018 +0200
@@ -89,7 +89,7 @@
         if (destr) {
             destr(val);
         } else {
-            map->allocator->free(val, NULL);
+            alfree(map->allocator, val);
         }
     }
 }