Added round function

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