Menu

Commit [r8006]  Maximize  Restore  History

Created abolish_incremental_tables_single, mostly for internal use.

It turned out that when throwing over incremental tables, not all stuff was being cleaned up and we would sometimes
get core dumps. Replacing abolish_incr_table in throw with abolish_incremental_table_single fixes the bug.

tswift 2014-08-07

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