diff options
Diffstat (limited to 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 43e23cc52..e4a07c3de 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -85,8 +85,8 @@ external ( lsl ) : int -> int -> int = "%lslint" external ( lsr ) : int -> int -> int = "%lsrint" external ( asr ) : int -> int -> int = "%asrint" -let min_int = 1 lsl (if 1 lsl 31 = 0 then 30 else 62) -let max_int = min_int - 1 +let max_int = (-1) lsr 1 +let min_int = max_int + 1 (* Floating-point operations *) |