lexer: Use @{...} for quiet code sections.

[goals.git] / src / ast.mli

diff --git a/src/ast.mli b/src/ast.mli
index df6c60f..371c209 100644 (file)
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -69,7 +69,7 @@ and func = param_decl list * returning * code
 and tactic = param_decl list * code
 and param_decl = id             (** goal/func/tactic parameter. *)
 and id = string
-and code = substs
+and code = substs * bool        (** code + quiet flag *)
 and returning = RetExpr | RetStrings | RetString
 and substs = subst list
 and subst =