X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Feval.ml;h=0d945afe0ed8fb58b7aa190857f518008c8573a4;hb=deb7edaccefe379139818e8b241844b9a0571651;hp=53c4dd0cc6ceea55625e0e781fb1ab62b4991c15;hpb=dbfe6294c7bba85785a0571691d2553364409e25;p=goals.git

diff --git a/src/eval.ml b/src/eval.ml
index 53c4dd0..0d945af 100644
--- 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" ^