X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Feval.ml;h=e29976934c5fc2280bfaa45d0a5ee0a2a082bf16;hb=84972c63d0dbc5a0da05ae08a5b99a9ad81baadc;hp=5e271a79f9bd9d9af4c1ebe978f32a783e2fcab8;hpb=0a41019f02474e4819ecdd739814b849bc58b84e;p=goals.git

diff --git a/src/eval.ml b/src/eval.ml
index 5e271a7..e299769 100644
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -110,7 +110,7 @@ let rec evaluate_goal_arg env = function
      evaluate_goal_arg env expr
 
   | ESubsts (loc, str) ->
-     let str = Ast.substitute env loc str in
+     let str = substitute env loc str in
      Ast.EConstant (loc, Ast.CString str)
 
   | EList (loc, exprs) ->