From 442e5e0b81c143a5c5dc7a47dc5a6e634bed509b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Fri, 15 Apr 2011 23:04:23 +0100
Subject: [PATCH] make sure we always allocate aligned quantities.

---
 C/alloc.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/C/alloc.c b/C/alloc.c
index e5796a14d..4d0b5362a 100755
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -153,6 +153,7 @@ call_malloc(unsigned long int size)
 char *
 Yap_AllocCodeSpace(unsigned long int size)
 {
+  size = AdjustSize(size);
   return  call_malloc(size);
 }
 
@@ -186,6 +187,7 @@ call_realloc(char *p, unsigned long int size)
 char *
 Yap_ReallocCodeSpace(char *p, unsigned long int size)
 {
+  size = AdjustSize(size);
   return  call_realloc(p, size);
 }
 
@@ -211,6 +213,7 @@ Yap_FreeCodeSpace(char *p)
 char *
 Yap_AllocAtomSpace(unsigned long int size)
 {
+  size = AdjustSize(size);
   return call_malloc(size);
 }