From 17cd9ab3c1c236f44a8da9518aace6180e22909d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 1 May 2013 19:27:00 -0500
Subject: [PATCH] add debugging code

---
 C/absmi.c | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/C/absmi.c b/C/absmi.c
index 04caafa39..cbb277225 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -2487,7 +2487,6 @@ Yap_absmi(int inp)
 
 		  PELOCK(9,ap);
 		  DEC_CLREF_COUNT(cl);
-//		  fprintf(stderr,"%d %p=%lx\n",worker_id, cl, cl->ClRefCount);
 		  erase = (cl->ClFlags & ErasedMask) && !(cl->ClRefCount);
 		  if (erase) {
 		    saveregs();
@@ -7824,6 +7823,24 @@ Yap_absmi(int inp)
 	/* restart index */
 	setregs();
 	UNLOCKPE(17,pe);
+#ifdef DEBUG_LOCK
+	{ PredEntry *ap = pe;
+		  if (ap->ArityOfPE) {
+		    if (   ap->ModuleOfPred != IDB_MODULE)
+		  	  printf("L9 %s\n", AtomName(NameOfFunctor(ap->FunctorOfPred)));
+		    else
+		      {
+			if (ap->PredFlags & NumberDBPredFlag) {
+		  	  printf("L9 %ld\n", ap->src.IndxId);
+			} else if (ap->PredFlags & AtomDBPredFlag) {
+			  printf("L9 %s\n", AtomName((Atom)(ap->FunctorOfPred)));
+			} else {
+		  	  printf("L9 %s\n", AtomName(NameOfFunctor(ap->FunctorOfPred)));
+			}
+		      }
+		  }
+      }
+#endif
  	PREG = pt0;
 #if defined(YAPOR) || defined(THREADS)
 	if (!PP) {