From da0186a0aa24890806e00e0152ce4e99d0ed31a1 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 21 Oct 2009 08:35:09 +0100
Subject: [PATCH] fix unused stuff.

---
 H/Regs.h | 5 -----
 1 file changed, 5 deletions(-)

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;