From 91fd215d3d33b52ed324d83ed16e1f6ca33bd5bd Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 27 Mar 2009 15:23:54 +0000
Subject: [PATCH] fix bad types.

---
 C/alloc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/alloc.c b/C/alloc.c
index 0ed147aa0..1dd71b09d 100644
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -293,7 +293,7 @@ Yap_KillStacks(void)
 #endif
 
 void
-Yap_InitMemory(int Trail, int Heap, int Stack)
+Yap_InitMemory(UInt Trail, UInt Heap, UInt Stack)
 {
   InitHeap();
 }