[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP

[Lawrence Paulson]

What on Earth is this?

> 17:40:59 Loading theory "Nullstellensatz.Nullstellensatz_Field"
> 17:40:59 ### theory "Nullstellensatz.Nullstellensatz_Field"
> 17:40:59 ### 0.649s elapsed time, 3.076s cpu time, 0.000s GC time
> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available
> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available
> 17:40:59 ### Introduced fixed type variable(s): 'c in "b__"
> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available
> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available
> 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No statistics available
> 17:40:59 isabelle document -d /media/data/jenkins/workspace/testboard/browser_info/AFP/Nullstellensatz/outline -o pdf -n outline -t /proof,/ML17:40:59 isabelle document -d /media/data/jenkins/workspace/testboard/browser_info/AFP/Nullstellensatz/document -o pdf -n document

Also on the testboard.

Larry