Menu

Commit [r9698]  Maximize  Restore  History

Clear a chunck when it is re-used. Found and fixed by Ed Schwartz.

dwarren 2019-10-31

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