From 35b7f040d569f9c8df73a1b32ebe409a5516cd42 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 29 Oct 2013 12:42:55 +0000
Subject: [PATCH] fix compilation without P

---
 H/eval.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/H/eval.h b/H/eval.h
index 54ca42910..a11d585b9 100644
--- a/H/eval.h
+++ b/H/eval.h
@@ -188,6 +188,7 @@ Yap_Eval(Term t)
   return Yap_InnerEval(t);
 }
 
+#ifdef P
 inline static Term
 Yap_FoundArithError(Term t, Term inp)
 { 
@@ -199,6 +200,7 @@ Yap_FoundArithError(Term t, Term inp)
   }
   return t;
 }
+#endif
 
 
 #define RINT(v)       return(MkIntegerTerm(v))