From f5e560366c0a1a0fb7b16590d2fc915c64c95218 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 3 Aug 2016 11:16:40 -0500
Subject: [PATCH] casts vs gcc

---
 CXX/yapi.cpp | 4 ----
 CXX/yapt.hh  | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/CXX/yapi.cpp b/CXX/yapi.cpp
index c91ab9b04..34fc428eb 100644
--- a/CXX/yapi.cpp
+++ b/CXX/yapi.cpp
@@ -392,10 +392,6 @@ YAPTerm::YAPTerm(void *ptr) {
   mk(MkIntegerTerm((Int)ptr));
 }
 
-YAPTerm::YAPTerm(intptr_t i) {
-  CACHE_REGS Term tn = MkIntegerTerm(i);
-  mk(tn);
-}
 
 YAPTerm YAPListTerm::car() {
   Term to = gt();
diff --git a/CXX/yapt.hh b/CXX/yapt.hh
index 680c0a27a..b1dcdce39 100644
--- a/CXX/yapt.hh
+++ b/CXX/yapt.hh
@@ -28,7 +28,7 @@ public:
   /// YAPTerm
   // do nothing constructor
   YAPTerm() { t = 0; }
-  YAPTerm(intptr_t i);
+  YAPTerm(yhandle_t i) { t= i; };
   /// pointer to term
   YAPTerm(void *ptr);
   /// parse string s and construct a term.