From df55f6d9842819fdb66bfbffb3102e8eebfb52c2 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 18 Dec 2014 15:53:42 +0000
Subject: Fix subtraction with integer type

---
 src/type_internal.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/type_internal.ml b/src/type_internal.ml
index d771ee4a..069b6775 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -277,7 +277,7 @@ let rec compare_nexps n1 n2 =
   | Nneg_inf , Nneg_inf -> 0
   | Nneg_inf , _        -> -1
   | _        , Nneg_inf ->  1
-  | Nconst n1, Nconst n2 -> compare n1 n2
+  | Nconst n1, Nconst n2 -> compare_big_int n1 n2
   | Nconst _ , _        -> -1
   | _        , Nconst _ ->  1
   | Nvar i1  , Nvar i2  ->  compare i1 i2
-- 
cgit v1.2.3