On 11/23/2015 07:45 PM, Tobias Frost wrote:

it seems that this error is now gone...

However, it now crashes later during the testsuite.

(Log attached; Note that I also built it in a pbuilder enviorment with the same result)

We have tried to reproduce the problem without success. Anyway, to accommodate SWI-Prolog version 7.x the attached patches should be applied. Please mail ppl-devel@cs.unipr.it if you have further details to allow us reproduce the problem. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com