XSB Src (SVN)-old

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

Commit [r7780] Maximize Restore History

Fixed bug in handling of asserting a fact with an explicit module modifier.

(Problem was with confusion by inadvertently turning fact t(1) into
t(1) :- true, where not expected)

Authored by: dwarren 2013-06-20

Parent: [r7779]

changed	/trunk/XSB/syslib/assert.P
changed	/trunk/XSB/syslib/assert.xwam

Binary file was changed.