diff options
| -rw-r--r-- | parsing/astterm.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/astterm.mli b/parsing/astterm.mli index c850bdf43e..738f7d8470 100644 --- a/parsing/astterm.mli +++ b/parsing/astterm.mli @@ -26,7 +26,7 @@ val constrOut : Coqast.t -> constr val interp_rawconstr : evar_map -> env -> Coqast.t -> rawconstr val interp_constr : evar_map -> env -> Coqast.t -> constr -val interp_casted_constr : evar_map -> env -> Coqast.t -> constr -> constr +val interp_casted_constr : evar_map -> env -> Coqast.t -> types -> constr val interp_type : evar_map -> env -> Coqast.t -> types val interp_sort : Coqast.t -> sorts |