tuned;
authorwenzelm
Thu, 09 Apr 2020 14:35:36 +0200
changeset 71956 83574f13d0f0
parent 71955 c0bc99aad936
child 71957 1dd97156db80
tuned;
src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Wed Apr 08 20:38:06 2020 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Thu Apr 09 14:35:36 2020 +0200
@@ -98,8 +98,7 @@
   /* internal tools */
 
   private lazy val internal_tools: List[Isabelle_Tool] =
-    Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c }
-      .flatMap(_.tools.toList)
+    Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c.tools.toList }.flatten
 
   private def list_internal(): List[(String, String)] =
     for (tool <- internal_tools.toList)