From fcc0c51ce7656cb63ad318f85a5fd6a0aa6f9784 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Sep 2014 22:35:01 +0100
Subject: [PATCH] avoid int

---
 C/adtdefs.c  | 2 +-
 H/Yapproto.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/adtdefs.c b/C/adtdefs.c
index c509527f4..38a85a8a4 100755
--- a/C/adtdefs.c
+++ b/C/adtdefs.c
@@ -1267,7 +1267,7 @@ Yap_PutAtomTranslation(Atom a, Int i)
 }
 
 Term
-Yap_ArrayToList(register Term *tp, int nof)
+Yap_ArrayToList(register Term *tp, size_t nof)
 {
   CACHE_REGS
   register Term *pt = tp + nof;
diff --git a/H/Yapproto.h b/H/Yapproto.h
index f6854c44f..064d813f2 100755
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -20,7 +20,7 @@ Int	     Yap_absmi(int);
 int	     Yap_absmiEND(void);
 
 /* adtdefs.c */
-Term	Yap_ArrayToList(Term *,int);
+Term	Yap_ArrayToList(Term *,size_t);
 int	Yap_GetName(char *,UInt,Term);
 Term	Yap_GetValue(Atom);
 int     Yap_HasOp(Atom);