avoid bad alignment on 64 bits.

This commit is contained in:
Vitor Santos Costa 2010-03-30 09:16:20 +01:00
parent 66a5235098
commit 91542c7be1

View File

@ -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;