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;