diff options
Diffstat (limited to 'src/gen_lib/sail_values.ml')
| -rw-r--r-- | src/gen_lib/sail_values.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index 6f46d7c3..99f037f7 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -630,7 +630,9 @@ let multiply = multiply_big let modulo = modulo_big let quot = quot_big let power = power_big -let min = min_big +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 arith_op_vec_big op sign size (l,r) = |