Changed an SWI-style type error to an XSB type error.
Authored by: tswift 2013-02-15
Parent: [r7725]
Child: [r7727]