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

[goals.git] / src / eval.mli

diff --git a/src/eval.mli b/src/eval.mli
index 2a86601..82bab71 100644 (file)
--- a/src/eval.mli
+++ b/src/eval.mli
@@ -29,7 +29,7 @@ val substitute : Ast.env -> Ast.loc -> Ast.substs -> string
 
 (** Run a code section.  Returns the exit code and the output printed
     by the script.  Raises [Failure _] on error. *)
-val run_code : ?quiet:bool -> Ast.env -> Ast.loc -> Ast.substs -> int * string
+val run_code : Ast.env -> Ast.loc -> Ast.code -> int * string
 
 (** Evaluate a goal argument.  This substitutes any variables found,
     and recursively calls functions. *)