From 18f6319703d7bec460754fdceee5f0f2cfbc2702 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 22 Nov 2017 10:57:11 +0100 Subject: Catalog representation --- evaluator.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'evaluator.ml') diff --git a/evaluator.ml b/evaluator.ml index 12d60b8..2809507 100755 --- a/evaluator.ml +++ b/evaluator.ml @@ -82,7 +82,9 @@ module C = Catalog.Make(Data) type t = C.t -let catalog = C.empty +let catalog = ref C.empty + +let get_catalog () = !catalog let repr = C.repr -- cgit v1.2.3