1 files changed, 1 insertions, 1 deletions
diff --git a/inc/map.h b/inc/map.h
index 3759a27..1312ae4 100644
--- a/inc/map.h
+++ b/inc/map.h
@@ -14,6 +14,6 @@ void map_set(struct hashmap *map, struct term *term);
 void map_delete(struct hashmap *map, struct term *term);
 void map_initialize(void);
 void map_destroy(struct hashmap *map);
-void map_dump(struct hashmap *map); // TODO: remove
+void map_dump(struct hashmap *map, char all);
 
 #endif