diff options
| author | Pierre-Marie Pédrot | 2016-11-29 23:48:28 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-02-14 17:30:44 +0100 |
| commit | 27fbf069ccd846383bcfb35ba1ea5bd1d95090a0 (patch) | |
| tree | 7f69b79408e4433227d59655d78342108bfed540 /stm | |
| parent | 390fd4ac0a969103caeb5db3e5138e26f9a533de (diff) | |
Moving printing code from Evd to Termops.
Diffstat (limited to 'stm')
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index 47e806929b..6f5da37f4a 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -1791,7 +1791,7 @@ end = struct (* {{{ *) prerr_endline (fun () -> string_of_ppcmds(hov 0 ( str"g=" ++ int (Evar.repr gid) ++ spc () ++ str"t=" ++ (Printer.pr_constr pt) ++ spc () ++ - str"uc=" ++ Evd.pr_evar_universe_context uc))); + str"uc=" ++ Termops.pr_evar_universe_context uc))); (if abstract then Tactics.tclABSTRACT None else (fun x -> x)) (V82.tactic (Refiner.tclPUSHEVARUNIVCONTEXT uc) <*> Tactics.exact_no_check (EConstr.of_constr pt)) |