diff options
| author | Kathy Gray | 2014-11-25 21:38:40 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-25 21:38:40 +0000 |
| commit | 1749fdf0f9eb7f44df6ec1daa98ff7366df8d681 (patch) | |
| tree | 75cc885b2760711ef973a631aabb1151a8056345 | |
| parent | 0269f8ca2969f599ab33464bef00247761187352 (diff) | |
wib
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 4743e4ec..fcce61ad 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -25,7 +25,7 @@ val integer_of_string : string -> integer declare ocaml target_rep function integer_of_string = `Big_int.big_int_of_string` let (max_64 : integer) = integer_of_string "9223372036854775807" -let (min_64 : integer) = integer_of_string "-9223372036854775807" +let (min_64 : integer) = integer_of_string "-9223372036854775808" let (max_32 : integer) = integer_of_string "2147483647" let (min_32 : integer) = integer_of_string "-2147483648" let (min_8 : integer) = (integerFromNat 0) - (integerFromNat 128) |