From 81909565bc9ef614bd831e85dadaa2cdd3bf77c9 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 15 Apr 2015 17:02:02 +0100
Subject: [PATCH] debugging msh

---
 CXX/yapi.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CXX/yapi.cpp b/CXX/yapi.cpp
index efc928ceb..c95c5616e 100644
--- a/CXX/yapi.cpp
+++ b/CXX/yapi.cpp
@@ -645,8 +645,6 @@ PredEntry  *YAPPredicate::getPred( Term &t, Term* &outp ) {
     ts[0] = t;
     ts[1] = m;
     t = Yap_MkApplTerm(FunctorCsult, 2, ts);
-    Yap_DebugPlWrite(m);
-    Yap_DebugPlWrite(t);
   }
   Functor f = FunctorOfTerm(t);
   if (IsExtensionFunctor(f)) {