diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-02 13:34:37 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 09:47:52 +0100 |
| commit | 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (patch) | |
| tree | beb1c6a1d7233c81c18bf2969cf4b558c27c0b45 /expression.ml | |
| parent | d121db88abcf054c2d84ee003edb5791f6a2680e (diff) | |
Add a representation for the splay tree
Diffstat (limited to 'expression.ml')
| -rwxr-xr-x | expression.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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
|