From fe8544c01ebad5d97ddc0d0d50e641c92ac69ea2 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 3 Aug 2011 16:11:41 +0100
Subject: [PATCH] fix debugging info.

---
 C/qly.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/qly.c b/C/qly.c
index 3d95eaa1d..1a0467a63 100644
--- a/C/qly.c
+++ b/C/qly.c
@@ -252,7 +252,7 @@ static size_t
 save_static_clause(IOSTREAM *stream, StaticClause *cl) {
   CHECK(save_tag(stream, QLF_START_CLAUSE));
   if (!(cl->ClFlags & FactMask)) {
-    Yap_DebugPlWrite(cl->usc.ClSource->Entry);fprintf(stderr,"\n");
+    //    Yap_DebugPlWrite(cl->usc.ClSource->Entry);fprintf(stderr,"\n");
     CHECK(save_term(stream, cl->usc.ClSource->Entry));
     return save_code(stream, cl->ClCode, (yamop *)(cl->usc.ClSource));
   } else {