From 79f1dddf8958a65ce57ac4601a36289019b5f384 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 10 Nov 2017 15:03:16 +0100 Subject: Added round function --- evaluator.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'evaluator.ml') 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 -- cgit v1.2.3