From 1749fdf0f9eb7f44df6ec1daa98ff7366df8d681 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 25 Nov 2014 21:38:40 +0000
Subject: wib

---
 src/lem_interp/interp_lib.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

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)
-- 
cgit v1.2.3