From 623200683aafb8b88698042e6c6b28e316416eea Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 28 Feb 2010 12:15:29 +0000
Subject: [PATCH] fix comparison if Int != int.

---
 C/cmppreds.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/C/cmppreds.c b/C/cmppreds.c
index 3446919e8..c829f54e9 100644
--- a/C/cmppreds.c
+++ b/C/cmppreds.c
@@ -681,35 +681,35 @@ a_eq(Term t1, Term t2)
 static Int 
 a_dif(Term t1, Term t2)
 {
-  int out = a_cmp(Deref(t1),Deref(t2));
+  Int out = a_cmp(Deref(t1),Deref(t2));
   return !ArithError && out != 0;
 }
 
 static Int 
 a_gt(Term t1, Term t2)
 {				/* A > B		 */
-  int out = a_cmp(Deref(t1),Deref(t2));
+  Int out = a_cmp(Deref(t1),Deref(t2));
   return !ArithError && out > 0;
 }
 
 static Int 
 a_ge(Term t1, Term t2)
 {				/* A >= B		 */
-  int out = a_cmp(Deref(t1),Deref(t2));
+  Int out = a_cmp(Deref(t1),Deref(t2));
   return !ArithError && out >= 0;
 }
 
 static Int 
 a_lt(Term t1, Term t2)
 {				/* A < B       */
-  int out = a_cmp(Deref(t1),Deref(t2));
+  Int out = a_cmp(Deref(t1),Deref(t2));
   return !ArithError && out < 0;
 }
 
 static Int 
 a_le(Term t1, Term t2)
 {				/* A <= B */
-  int out = a_cmp(Deref(t1),Deref(t2));
+  Int out = a_cmp(Deref(t1),Deref(t2));
   return !ArithError && out <= 0;
 }