From bf215e68a22a559b0ec8b736c3c72d975d7bfae0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 3 Feb 2015 02:36:24 +0000
Subject: [PATCH] one Int to rule them all

---
 H/YapTerm.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/H/YapTerm.h b/H/YapTerm.h
index 9ef7e2e57..81ccfc66f 100644
--- a/H/YapTerm.h
+++ b/H/YapTerm.h
@@ -51,8 +51,8 @@ typedef uintptr_t UInt;
 #define UInt_FORMAT "%ul"
 
 #elif SIZEOF_LONG_INT==4
-/*   */ typedef long int Int;
-/*   */ typedef unsigned long int UInt;
+/*   typedef long int Int;*/ 
+/*  typedef unsigned long int UInt;  */ 
 
 #define Int_FORMAT "%ld"
 #define UInt_FORMAT "%lu"