[Xsb-development] pure slg-wam, probably not memory-related coredump

[<ki...@cs...>]

This one shows up only under slg-wam, regardless of how much memory you
give it, even -m 800000.

cd tests/flora_tests/pending_bugs/
xsb -e "[pps]."

?- fd_rhs(passatC,'flora_@'(hasConfig,1),newConfig(passatC,0)).

Core dump (very quickly).
Tested on linux, RH 6.1


	--michael