Menu

Commit [r7574]  Maximize  Restore  History

There was a problem with slg_not using has_answers

when all answers for a subgoal have been removed via delay
(surprisingly this case had not been tested). So we only want an XXX_ANSWERS tag if the subg_ans_root_ptr is null; otherwise we handle the reclamantion in the else associated with this if...

tswift 2012-07-18

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