debugging stuff

This commit is contained in:
Vitor Santos Costa 2013-01-14 22:45:58 +00:00
parent 0c9342466b
commit be668f1558
1 changed files with 1 additions and 0 deletions

View File

@ -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;
}