diff options
Diffstat (limited to 'toplevel/vernacexpr.ml')
| -rw-r--r-- | toplevel/vernacexpr.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml index b1ab3bdce0..f2e2c0ac70 100644 --- a/toplevel/vernacexpr.ml +++ b/toplevel/vernacexpr.ml @@ -284,7 +284,7 @@ type vernac_expr = (* Solving *) - | VernacSolve of int * bullet option * raw_tactic_expr * bool + | VernacSolve of int * raw_tactic_expr * bool | VernacSolveExistential of int * constr_expr (* Auxiliary file and library management *) @@ -353,6 +353,7 @@ type vernac_expr = | VernacBacktrack of int*int*int | VernacFocus of int option | VernacUnfocus + | VernacBullet of bullet | VernacSubproof of int option | VernacEndSubproof | VernacShow of showable |