diff options
Diffstat (limited to 'intf')
| -rw-r--r-- | intf/vernacexpr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/intf/vernacexpr.mli b/intf/vernacexpr.mli index 3ffaca1138..be7e59a2de 100644 --- a/intf/vernacexpr.mli +++ b/intf/vernacexpr.mli @@ -320,7 +320,7 @@ type vernac_expr = bool * (* abstract instance *) local_binder list * (* super *) typeclass_constraint * (* instance name, class name, params *) - constr_expr option * (* props *) + (bool * constr_expr) option * (* props *) int option (* Priority *) | VernacContext of local_binder list |