Menu ▾ ▴

Commit [r8021]  Maximize  Restore  History

Fix to deleteoutedges to better clean up pointers (used in abolish_incremental_call_single).

tswift 2014-08-09

Browse code at this revision

Parent: [r8020]

Child: [r8022]

changed /trunk/XSB/emu/call_graph_xsb.c
changed /trunk/XSB/emu/debug_xsb.c
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/debug_xsb.c 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