From be668f155895b73238d7cef26fc2c617d147d10d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 14 Jan 2013 22:45:58 +0000
Subject: [PATCH] debugging stuff

---
 C/exo.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/C/exo.c b/C/exo.c
index ac393b7ab..e7405b3a5 100644
--- a/C/exo.c
+++ b/C/exo.c
@@ -143,6 +143,7 @@ INSERT(CELL *cl, struct index_t *it, UInt arity, UInt base, UInt hash0, UInt bnd
       if (bnds[k]) {
 	if (*target != cl[k]) {
 	  /* found a new forking point */
+	  //    printf("j=%ld hash0=%ld cl[j]=%lx\n", j, hash0, cl[j]);
 	  INSERT(cl, it, arity, k, hash0, bnds);
 	  return;
 	}