diff options
Diffstat (limited to 'evaluator.ml')
| -rwxr-xr-x | evaluator.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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
|