From b793ffb71a6e5f53d78d1f58b20c81b002111c6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 2 Oct 2014 14:37:12 +0100
Subject: [PATCH] remove debugging stuff.

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

diff --git a/CXX/yapi.cpp b/CXX/yapi.cpp
index fa94824ce..11cb87f5a 100644
--- a/CXX/yapi.cpp
+++ b/CXX/yapi.cpp
@@ -509,9 +509,8 @@ bool YAPQuery::next()
   if (q_state == 0) {
     // extern void toggle_low_level_trace(void);
       //toggle_low_level_trace();
-	  { CACHE_REGS __android_log_print(ANDROID_LOG_ERROR,  __FUNCTION__, "next %p", HR) ; }
       result = (bool)YAP_EnterGoal((YAP_PredEntryPtr)ap, q_g, &q_h);
-      { CACHE_REGS __android_log_print(ANDROID_LOG_ERROR,  __FUNCTION__, "done") ; }
+
   } else {
       LOCAL_AllowRestart = this->q_open;
       result = (bool)YAP_RetryGoal(&q_h);