Menu

Commit [r6207]  Maximize  Restore  History

In some Flora programs with defeasible reasoning, a

mysterious "null node" warning had been printed out. It turned
out that this was being emitted by find_answers_for_subgoal(),
which is used in cascading abolishes. The problem arose for
deleting calls that had empty answer tries, where a stack was
checked, a null node immediately found, and the routine exited.
In this case, it was harmless, but I added a check to get rid of
the warning in this case, and made the warning itself more
descriptive.

tswift 2009-01-04

changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
Auth0 Logo