This is an assertion error from Poly/ML:

poly: scanaddrs.cpp:218: void
ScanAddress::ScanAddressesInRegion(PolyWord*, PolyWord*): Assertion
`obj->ContainsNormalLengthWord()' failed.

As far as I understand this is on Poly/ML 5.6 and nothing changed in the
affected session. It may be spurious.

-------- Forwarded Message --------
Subject: [Isabelle-ci] Build failure in Isabelle+AFP (slow)
Date: Tue, 14 Mar 2017 16:34:30 +0100 (CET)
From: Isabelle/Jenkins <>

The Isabelle build failed. See the log at:

Attachment: build.log
Description: Binary data

Isabelle-ci mailing list

isabelle-dev mailing list

Reply via email to