restore printer

OCamlPro · Nov 12, 2024 · 20d966c · 20d966c
1 parent 1bf9e0f
commit 20d966c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/lib/reasoners/matching.ml b/src/lib/reasoners/matching.ml
@@ -157,9 +157,11 @@ module Make (X : Arg) : S with type theory = X.t = struct
           Ty.print_subst sty
 
     let match_class_of t cl =
-      Log.debug (fun k -> k "class of '%a' is:@  %a"
-                    E.print t
-                    Fmt.(box @@ braces @@ iter ~sep:comma E.Set.iter E.print) cl)
+      if Options.get_debug_matching() >= 3 then
+        Log.debug (fun k -> k "class of '%a' is:@  %a"
+                      E.print t
+                      Fmt.(box @@ braces
+                           @@ iter ~sep:comma E.Set.iter E.print) cl)
 
     let candidate_substitutions pat_info res =
       let open Matching_types in