XSB Src (SVN)-old

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

Commit [r8958] Maximize Restore History

Fix one place where parameterized module names were not handled correctly.

(And cleanup patch in cp_opt.P to make testing of internal variables more
precise.)

Authored by: dwarren 2017-01-07

Browse code at this revision

Parent: [r8957]

Child: [r8959]

changed	/trunk/XSB/cmplib/cp_opt.H
changed	/trunk/XSB/cmplib/cp_opt.P
changed	/trunk/XSB/cmplib/cp_opt.xwam
changed	/trunk/XSB/cmplib/parse.H
changed	/trunk/XSB/cmplib/parse.P
changed	/trunk/XSB/cmplib/parse.xwam

/trunk/XSB/cmplib/cp_opt.H Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.xwam

Binary file was changed.

/trunk/XSB/cmplib/parse.H Diff Switch to side-by-side view

/trunk/XSB/cmplib/parse.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/parse.xwam

Binary file was changed.