Menu

Commit [r8261]  Maximize  Restore  History

Fixed bug in abolishing incremental tables. If an incremental table is abolished, but its space is not reclaimed, the various affects and dependency

links that include that table need to be performed at the time the abolish is called -- and not at the time of space reclamation, as had been
done. In fact, sometimes these dependencies were *never* reclaimed, so that there were pointers to a table whose space had been reclaimed --
which could easily lead to core dumps.

tswift 2015-02-22

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