X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.ml;h=0d4fa88a4f703dd9386d22995e4d30d469c463f0;hb=881b2e9b7bad0da8f44418e9e6558710db5ce690;hp=6d14f9de710a3c0a2934f837ac9a69b9ecb94035;hpb=a48b05d35f0646322e8178ff10f8ed7af3e739aa;p=goals.git

diff --git a/src/run.ml b/src/run.ml
index 6d14f9d..0d4fa88 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -132,7 +132,7 @@ and run_goal env loc name args (params, patterns, deps, code) extra_deps =
           match deps with
           | [] -> env
           | d :: _ -> Ast.Env.add "^" d env in
-        let r, _ = Eval.run_code env loc code in
+        let r = Eval.run_code env loc code in
         if r <> 0 then (
           eprintf "*** goal ‘%s’ failed with exit code %d\n" name r;
           exit 1
@@ -191,7 +191,7 @@ and needs_rebuild env loc deps extra_deps pattern =
        match deps with
        | [] -> env
        | d :: _ -> Ast.Env.add "^" d env in
-     let r, _ = Eval.run_code ~quiet:true env loc code in
+     let r = Eval.run_code env loc code in
      if r = 99 (* means "needs rebuild" *) then true
      else if r = 0 (* means "doesn't need rebuild" *) then false
      else (