Fix debug printer on binder with evars

SkySkimmer · Dec 20, 2024 · f33d20f · f33d20f
1 parent ee6fffd
commit f33d20f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/engine/eConstr.ml b/engine/eConstr.ml
@@ -1020,7 +1020,9 @@ let noccurn sigma n term =
     | _ -> Expand.iter_with_binders sigma succ occur_rec n h knd
   in
   let h, term = Expand.make term in
-  try occur_rec n h term; true with LocalOccur -> false
+  try occur_rec n h term; true with
+  | LocalOccur -> false
+  | _ when !Flags.in_debugger -> false
 
 let noccur_between sigma n m term =
   let rec occur_rec n h c =