[isabelle-dev] [158c513a39f5] JVM crash

Makarius makarius at sketis.net
Wed Nov 8 15:51:13 CET 2017

On 08/11/17 15:45, Manuel Eberl wrote:
> Is there an easy way to disable that for testing purposes? Some line I
> have to remove from a .scala file or something?

It should be sufficient to remove the is_pure() here:


More information about the isabelle-dev mailing list