From 4e1f3c7012ad9bae2771b88eaca3fa6791582b55 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 11 Dec 2014 16:26:33 +0000
Subject: Change compare of two big ints to compare_big_int

---
 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 f06b5875..f592df02 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -301,7 +301,7 @@ let rec compare_nexps n1 n2 =
   | Npow(n1,_),Npow(n2,_)-> compare_nexps n1 n2
   | Npow _   , _        -> -1
   | _        , Npow _   ->  1
-  | N2n(_,Some i1), N2n(_,Some i2) -> compare i1 i2
+  | N2n(_,Some i1), N2n(_,Some i2) -> compare_big_int i1 i2
   | N2n(n1,_), N2n(n2,_) -> compare_nexps n1 n2
   | N2n _    , _        -> -1
   | _        , N2n _    ->  1
-- 
cgit v1.2.3