From ee175a92cef0b12345391c96eac14e26437db695 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Sat, 4 Nov 2023 13:17:09 +0100
Subject: [PATCH] Add debug print of constants found by get_recursive_kns

---
 src/tac2compile.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tac2compile.ml b/src/tac2compile.ml
index 341e9ee..f680cac 100644
--- a/src/tac2compile.ml
+++ b/src/tac2compile.ml
@@ -1121,6 +1121,7 @@ let compile ~recursive knl =
     if recursive then get_recursive_kns knl
     else knl
   in
+  debug Pp.(fun () -> str "Compiling constants " ++ prlist_with_sep spc (Tac2print.pr_tacref Id.Set.empty) knl);
   let file, ch, prefix = get_ml_filename () in
   let kns, exts, pp = pp_code recursive prefix knl in
   let fch = Format.formatter_of_out_channel ch in