diff options
Diffstat (limited to 'toplevel/vernacexpr.ml')
| -rw-r--r-- | toplevel/vernacexpr.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml index 892b5935e..854d18152 100644 --- a/toplevel/vernacexpr.ml +++ b/toplevel/vernacexpr.ml @@ -196,8 +196,8 @@ type vernac_expr = | VernacExactProof of constr_expr | VernacAssumption of assumption_kind * simple_binder with_coercion list | VernacInductive of inductive_flag * inductive_expr list - | VernacFixpoint of (fixpoint_expr * decl_notation) list - | VernacCoFixpoint of cofixpoint_expr list + | VernacFixpoint of (fixpoint_expr * decl_notation) list * bool + | VernacCoFixpoint of cofixpoint_expr list * bool | VernacScheme of (lident * bool * lreference * sort_expr) list (* Gallina extensions *) |