From 4d36f113efaec653f9125192c62874009cb433f4 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 6 Jul 2017 11:51:40 +0100
Subject: implement abs function correctly for ocaml shallow embedding.

---
 src/gen_lib/sail_values.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index 75de6996..8332aa5c 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -610,6 +610,9 @@ let min_int    = min (* the built-in version *)
 let min        = min_big (* is overwritten here *)
 let max_int    = max (* likewise *)
 let max        = max_big
+let abs_int    = abs
+let abs_big    = abs_big_int
+let abs        = abs_big
 
 let arith_op_vec_big op sign size (l,r) =
   let ord = get_ord l in
-- 
cgit v1.2.3