Bug#800526: reassigning bug to clasp

[Ralf Treinen]

Hello,

I am reassigning this bug to clasp. See this thread on the potassco-users
mailing list:

http://sourceforge.net/p/potassco/mailman/potassco-users/thread/1954801.MC6ALO8tj0%40aix/#msg34512643

-Ralf