From 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 2 Nov 2017 13:34:37 +0100
Subject: Add a representation for the splay tree

---
 expression.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'expression.ml')

diff --git a/expression.ml b/expression.ml
index d42b90e..fd697a9 100755
--- a/expression.ml
+++ b/expression.ml
@@ -55,7 +55,7 @@ let load_expr expr = expr
  *)
 let eval expr sources = begin
 
-  let eval_exp f = Evaluator.repr sources f in
+  let eval_exp f = Evaluator.eval sources f in
 
   begin try match expr with
     | Basic value -> ScTypes.Result value
-- 
cgit v1.2.3