# HG changeset patch
# User wenzelm
# Date 1586435736 -7200
# Node ID 83574f13d0f0e971b3435067ef707edf030b39da
# Parent  c0bc99aad93645240cd99d87bddd77726d622767
tuned;

diff -r c0bc99aad936 -r 83574f13d0f0 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)