1 files changed, 2 insertions, 3 deletions
diff --git a/evaluator.ml b/evaluator.ml
index d9fa754..12d60b8 100755
--- a/evaluator.ml
+++ b/evaluator.ml
@@ -82,9 +82,7 @@ module C = Catalog.Make(Data)
 
 type t = C.t
 
-let (catalog:C.t ref) = ref C.empty
-
-let get_catalog () = !catalog
+let catalog = C.empty
 
 let repr = C.repr
 
@@ -310,6 +308,7 @@ let () = begin
   register1 "abs" t_int         f_number  D.Num.abs;
   register1 "int" t_int         f_number  D.Num.floor;
   register1 "rounddown" t_int   f_number  D.Num.round_down;
+  register1 "round" t_int       f_number  D.Num.round;
 
 
   let module CompareBool = Make_Compare(D.Bool) in