From 10d5a38e92be6bccd7eae65de69142230fec5b23 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 14 May 2012 18:05:16 +0100
Subject: [PATCH] fix compilation under threads.

---
 H/YapTags.h | 2 +-
 H/YapTerm.h | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/H/YapTags.h b/H/YapTags.h
index c8fbbab42..f43d1e4e4 100644
--- a/H/YapTags.h
+++ b/H/YapTags.h
@@ -312,7 +312,7 @@ IsIntTerm (Term t)
 }
 
 
-EXTERN inline Term MkPairTerm__(Term head, Term  tail CACHE_TYPE );
+EXTERN inline Term MkPairTerm__(Term head, Term  tail USES_REGS );
 
 EXTERN inline Term
 MkPairTerm__ (Term head, Term tail USES_REGS)
diff --git a/H/YapTerm.h b/H/YapTerm.h
index de0ec8770..d9e7f1fb5 100644
--- a/H/YapTerm.h
+++ b/H/YapTerm.h
@@ -19,9 +19,6 @@
 typedef void *Functor;
 typedef void *Atom;
 
-#define CACHE_TYPE
-#define CACHE_TYPE1 void
-
 #endif
 
 #ifndef EXTERN