Menu ▾ ▴

Commit [r4794]  Maximize  Restore  History

Changed convert to dyna back so that it creates a prref, rather than just marking the psc error. Without this, we have problems with abolish whenever we abolish a dynamic predicate that has not had any clauses asserted to it.

tswift 2006-05-21

Browse code at this revision

Parent: [r4793]

Child: [r4795]

changed /trunk/XSB/syslib/assert.P
changed /trunk/XSB/syslib/assert.xwam
/trunk/XSB/syslib/assert.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/assert.xwam
Binary file was changed.
MongoDB Logo MongoDB