From 7b9ab9252c522a005317a836c50f6b0a94b30191 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 28 Jul 2010 11:30:28 +0100
Subject: [PATCH] get rid of debugging info.

---
 C/cdmgr.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/C/cdmgr.c b/C/cdmgr.c
index 49f494291..cfd70d337 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -4602,8 +4602,6 @@ p_log_update_clause(void)
   Int ret;
   yamop *new_cp;
 
-  if (vscx==444)
-    jmp_deb(1);
   if (P->opc == EXECUTE_CPRED_OP_CODE) {
     new_cp = CP;
   } else {