diff --git a/print.hpp b/print.hpp
index 4220b79..6d293ad 100644
--- a/print.hpp
+++ b/print.hpp
@@ -405,6 +405,11 @@ int print_ptr(FILE* f, void* ptr) {
     return print_to_file(f, "nullptr");
 }
 
+void deinit_printer() {
+    printer_map.dealloc();
+    type_map.dealloc();
+}
+
 void init_printer() {
     printer_map.alloc();
     type_map.alloc();