diff options
| author | Thomas Bauereiss | 2017-08-12 19:04:58 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-12 19:04:58 +0100 |
| commit | 73965da84487d06066eae4b9b5fa49da8d123d7b (patch) | |
| tree | 2bfe6300e5e00da2683c5cc856c376f8a2883ded /src | |
| parent | f8a186733a4a8afd90ef733ca32df92eb6bcecd9 (diff) | |
Fix compilation issue for 32-bit systems
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 155e78f4..ddf0b692 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1901,8 +1901,8 @@ let int8_t = {t = Tapp("range", [TA_nexp (mk_neg (mk_2nc (mk_c_int 7) (big_int_o TA_nexp (mk_c_int 127)])} let int16_t = {t = Tapp("range", [TA_nexp (mk_neg (mk_2nc (mk_c_int 15) (big_int_of_int 32768))); TA_nexp (mk_c_int 32767)])} -let int32_t = {t = Tapp("range", [TA_nexp (mk_neg (mk_2nc (mk_c_int 31) (big_int_of_int 2147483648))) ; - TA_nexp (mk_c_int 2147483647)])} +let int32_t = {t = Tapp("range", [TA_nexp (mk_neg (mk_2nc (mk_c_int 31) (big_int_of_string "2147483648"))) ; + TA_nexp (mk_c (big_int_of_string "2147483647"))])} let int64_t = {t = Tapp("range", [TA_nexp (mk_neg (mk_2nc (mk_c_int 63) (big_int_of_string "9223372036854775808"))); TA_nexp (mk_c (big_int_of_string "9223372036854775807"))])} |