fix debugging info.

This commit is contained in:
Vitor Santos Costa 2011-08-03 16:11:41 +01:00
parent c871761c11
commit fe8544c01e

View File

@ -252,7 +252,7 @@ static size_t
save_static_clause(IOSTREAM *stream, StaticClause *cl) {
CHECK(save_tag(stream, QLF_START_CLAUSE));
if (!(cl->ClFlags & FactMask)) {
Yap_DebugPlWrite(cl->usc.ClSource->Entry);fprintf(stderr,"\n");
// Yap_DebugPlWrite(cl->usc.ClSource->Entry);fprintf(stderr,"\n");
CHECK(save_term(stream, cl->usc.ClSource->Entry));
return save_code(stream, cl->ClCode, (yamop *)(cl->usc.ClSource));
} else {