debug econstr

Author: Tragicus

engine/eConstr.ml

@@ -977,7 +977,7 @@ let substl subst c = of_constr (Vars.substl (cast_list unsafe_eq subst) (to_cons
 let subst1 c r =
   let r = to_constr r in
   let c = to_constr c in
-  let () = debug_econstr (fun () -> Pp.(str "subst1" ++ Constr.debug_print (EConstr.to_constr ~abort_on_undefined_evars:false sigma r))) in
+  let () = debug_econstr (fun () -> Pp.(str "subst1" ++ Constr.debug_print r)) in
   let x = Vars.subst1 c r in
   let () = debug_econstr (fun () -> Pp.(str "finish subst1")) in
   of_constr x