diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen_lib/sail_values.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |