From 91542c7be1f6afbf2446de514328c177e63a5de4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 30 Mar 2010 09:16:20 +0100
Subject: [PATCH] avoid bad alignment on 64 bits.

---
 H/compile.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/compile.h b/H/compile.h
index 5e858ea31..aa4020d36 100644
--- a/H/compile.h
+++ b/H/compile.h
@@ -256,7 +256,7 @@ typedef struct intermediates {
   struct PSEUDO *icpc;
   struct PSEUDO *BlobsStart;
   struct dbterm_list *dbterml;
-  int  *label_offset;
+  Int  *label_offset;
   Int  *uses;
   Term *contents;
   struct pred_entry *CurrentPred;