Menu

Commit [r9699]  Maximize  Restore  History

Clear first chunk when it would have been freed, so gc does mark its now-irrelevant structures.

dwarren 2019-11-01

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