diff options
| author | Pierre-Marie Pédrot | 2018-05-24 01:05:09 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-05-24 01:05:09 +0200 |
| commit | 9df6df865fc71ed9840fc569d3aa3cc7cf4750aa (patch) | |
| tree | 8965b5d9bc37bc7d0be341dc311fef6df43c3616 /interp/implicit_quantifiers.mli | |
| parent | b74d9500e5943317f1baf4f36b3d979d40f6105f (diff) | |
| parent | b4b515c2e61bc6ea662b48e84eb319ec8252b07d (diff) | |
Merge PR #6515: [api] Move `Vernacexpr` to parsing.
Diffstat (limited to 'interp/implicit_quantifiers.mli')
| -rw-r--r-- | interp/implicit_quantifiers.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/implicit_quantifiers.mli b/interp/implicit_quantifiers.mli index 5f4129ae0c..39d0174f99 100644 --- a/interp/implicit_quantifiers.mli +++ b/interp/implicit_quantifiers.mli @@ -13,7 +13,7 @@ open Glob_term open Constrexpr open Libnames -val declare_generalizable : Vernacexpr.locality_flag -> Misctypes.lident list option -> unit +val declare_generalizable : local:bool -> Misctypes.lident list option -> unit val ids_of_list : Id.t list -> Id.Set.t val destClassApp : constr_expr -> (reference * constr_expr list * instance_expr option) CAst.t |