XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r2685] Maximize Restore History

* fixed ProfileLeader dependence on LOCAL_EVAL

Authored by: lfcastro 2001-10-20

Browse code at this revision

Parent: [r2684]

Child: [r2686]

changed

/trunk/XSB/emu/complete_local.h

/trunk/XSB/emu/complete_local.h Diff Switch to side-by-side view