XSB Src (SVN)-old

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

Commit [r9357] Maximize Restore History

replace write_term/3 with fmt_write/3 to solve the build problem.

fmt_write/3 is better anyway.

Authored by: "kifer" 2018-06-12

Parent: [r9356]

changed	/trunk/XSB/cmplib/auxlry.P
changed	/trunk/XSB/cmplib/auxlry.xwam

Binary file was changed.