diff options
| author | Marvin Borner | 2023-06-07 23:31:47 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-06-07 23:31:47 +0200 |
| commit | acab739b55824f508dd61de9ab8ef91c18b1a086 (patch) | |
| tree | a4a6adb2b758488ce6666b94c2fa52ba470eef45 /inc/map.h | |
| parent | 1e728c2455fdc696e260f87d0d523a3de6d43a00 (diff) | |
Further fixes of substitution and use-after-free
Diffstat (limited to 'inc/map.h')
| -rw-r--r-- | inc/map.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |