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

[goals.git] / src / eval.ml

diff --git a/src/eval.ml b/src/eval.ml
index 53c4dd0..0d945af 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -142,7 +142,7 @@ and expr_to_shell_string env = function
      failwithf "%a: cannot use tactic in shell expansion"
        Ast.string_loc loc
 
-and run_code ?(quiet = false) env loc code =
+and run_code env loc (code, quiet) =
   let code = to_shell_script env loc code in
   let code =
     "source " ^ Filename.quote Cmdline.prelude_sh_file ^ "\n" ^