Ast: Remove functions which were moved to Eval module.

[goals.git] / src / eval.ml

diff --git a/src/eval.ml b/src/eval.ml
index 5e271a7..e299769 100644 (file)
--- 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) ->