X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.ml;h=2e36d1b7a4120a48fb884494efeb77df6cc2f220;hb=84972c63d0dbc5a0da05ae08a5b99a9ad81baadc;hp=02901243587c1bd2a2f18a166aa0c1c25f30dfdf;hpb=0a41019f02474e4819ecdd739814b849bc58b84e;p=goals.git

diff --git a/src/run.ml b/src/run.ml
index 0290124..2e36d1b 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -161,7 +161,7 @@ and needs_rebuild env loc deps extra_deps pattern =
       * should be called with env containing the goal params, this
       * should substitute any parameters in the tactic arguments.
       *)
-     let targs = List.map (Ast.substitute env loc) targs in
+     let targs = List.map (Eval.substitute env loc) targs in
      let targs =
        List.map (fun targ ->
            Ast.EConstant (Ast.noloc, Ast.CString targ)) targs in