diff options
Diffstat (limited to 'parsing/astterm.mli')
| -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 cddff7318d..613b3c1240 100644 --- a/parsing/astterm.mli +++ b/parsing/astterm.mli @@ -30,7 +30,7 @@ val interp_casted_openconstr : declared in the rel_context of [env] *) val interp_type_with_implicits : 'a evar_map -> env -> - impl_map:(identifier * int list) list -> Coqast.t -> types + (identifier * Impargs.implicits_list) list -> Coqast.t -> types val judgment_of_rawconstr : 'a evar_map -> env -> Coqast.t -> unsafe_judgment val type_judgment_of_rawconstr : |