From 76b3aec555337e7f85f0b6b9fdb5974857ad745f Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 20 Jan 2011 12:01:50 -0600
Subject: [PATCH] remove debugging stubs.

---
 C/index.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/C/index.c b/C/index.c
index f9f6b635b..5ce457be5 100644
--- a/C/index.c
+++ b/C/index.c
@@ -2650,13 +2650,9 @@ do_consts(GroupDef *grp, Term t, struct intermediates *cint, int compound_term,
   return lbl;
 }
 
-int vsc_n;
-
 static void
 do_blobs(GroupDef *grp, Term t, struct intermediates *cint, UInt argno, int first, UInt nxtlbl, int clleft, CELL *top)
 {
-  vsc_n++;
-  if (vsc_n == 112205) jmp_deb(1);
   COUNT n;
   ClauseDef *min = grp->FirstClause;
   COUNT i;