diff options
Diffstat (limited to 'ltac/eauto.ml')
| -rw-r--r-- | ltac/eauto.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ltac/eauto.ml b/ltac/eauto.ml index 044946759..9cfb805d4 100644 --- a/ltac/eauto.ml +++ b/ltac/eauto.ml @@ -60,7 +60,7 @@ let eval_uconstrs ist cs = fail_evar = false; expand_evars = true } in - List.map (fun c -> Tacinterp.type_uconstr ~flags ist c) cs + List.map (fun c -> Pretyping.type_uconstr ~flags ist c) cs (************************************************************************) (* PROLOG tactic *) |