src/Pure/ML/ml_statistics.scala

--- a/src/Pure/ML/ml_statistics.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/ML/ml_statistics.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -208,7 +208,7 @@
     chart(fields._1, fields._2)
 
   def show_frames(fields: List[ML_Statistics.Fields] = ML_Statistics.main_fields): Unit =
-    fields.map(chart(_)).foreach(c =>
+    fields.map(chart).foreach(c =>
       GUI_Thread.later {
         new Frame {
           iconImage = GUI.isabelle_image()