debugging stuff

This commit is contained in:
Vítor Santos Costa 2013-11-25 18:32:51 +01:00
parent 2343494f1e
commit 82f4d71567

View File

@ -863,7 +863,6 @@ ParseTerm(read_data *rd, int prio, JMPBUFF *FailBuff USES_REGS)
FAIL;
}
NextToken;
Yap_DebugPlWrite(t); printf("\n");
break;
default: