Add environment to store variables and goals.

[goals.git] / src / eval.ml

diff --git a/src/eval.ml b/src/eval.ml
index 1df1a17..0d4d91f 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -17,5 +17,5 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-let evaluate file vars exprs =
+let evaluate env exprs =
   ()