diff --git a/H/Regs.h b/H/Regs.h
index dd058ad4e..ea57bd859 100644
--- a/H/Regs.h
+++ b/H/Regs.h
@@ -184,11 +184,6 @@ extern pthread_key_t Yap_yaamregs_key;
     Term X[MaxTemps];		/* 29                                     */
 
 #define XREGS	  Yap_REGS.X
-    yamop *ARITH_EXCEPTION_;
-    int isint_[MaxArithms];
-    Int Ints_[MaxArithms];
-    Float Floats_[MaxArithms];
-
   }
 REGSTORE;