From 023c11470e32744a43b7e3c7c248f3c47ebdc687 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 21 Nov 2016 17:06:19 +0100
Subject: Use gadt for function catalog

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

(limited to 'expression.mli')

diff --git a/expression.mli b/expression.mli
index 9888ece..f7f0ece 100755
--- a/expression.mli
+++ b/expression.mli
@@ -15,7 +15,7 @@ val load_expr: t -> t
 val is_defined: t -> bool
 
 (** Evaluate the expression *)
-val eval: t -> (ScTypes.refs -> ScTypes.types) -> ScTypes.result
+val eval: t -> (ScTypes.refs -> ScTypes.types ScTypes.Refs.range) -> ScTypes.result
 
 (** Collect all the cell referenced in the expression *)
 val collect_sources: t -> Cell.Set.t
-- 
cgit v1.2.3