diff --git a/src/kernel_internals/typing/rmtmps.ml b/src/kernel_internals/typing/rmtmps.ml
index 8143accc84b1f8809f7d62303e73b292efa556c5..64ada096ee7a1e7e525bb816713a0869ec9c3022 100644
--- a/src/kernel_internals/typing/rmtmps.ml
+++ b/src/kernel_internals/typing/rmtmps.ml
@@ -903,12 +903,15 @@ let removeUnusedTemps ?(isRoot : rootsFilter = isExportedRoot) ast =
       (* mark everything reachable from the global roots *)
       markReachable isRoot ast reachable_tbl;
 
-      let elements =
-        InfoHashtbl.fold (fun k v acc -> Format.asprintf "%a:%B" pp_info k v :: acc)
-          reachable_tbl []
-      in
-      Kernel.debug ~dkey "reachable_tbl: %a"
-        (Pretty_utils.pp_list ~sep:"@\n" Format.pp_print_string) elements;
+      Kernel.debug ~dkey "reachable_tbl: %t"
+        (fun fmt ->
+           let elements =
+             InfoHashtbl.fold (fun k v acc ->
+                 Format.asprintf "%a:%B" pp_info k v :: acc)
+               reachable_tbl []
+           in
+           Format.fprintf fmt "%a"
+             (Pretty_utils.pp_list ~sep:"@\n" Format.pp_print_string) elements);
 
       markReferenced ast;