X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Frun.ml;h=9eb3df6948c0ed929c76324d65a138631ce57aea;hb=deb7edaccefe379139818e8b241844b9a0571651;hp=6d14f9de710a3c0a2934f837ac9a69b9ecb94035;hpb=dbfe6294c7bba85785a0571691d2553364409e25;p=goals.git diff --git a/src/run.ml b/src/run.ml index 6d14f9d..9eb3df6 100644 --- a/src/run.ml +++ b/src/run.ml @@ -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 (