src/Pure/System/isabelle_tool.scala

--- a/src/Pure/System/isabelle_tool.scala	Mon Mar 30 19:39:11 2020 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Mon Mar 30 19:50:01 2020 +0200
@@ -108,7 +108,7 @@
   private def find_internal(name: String): Option[List[String] => Unit] =
     internal_tools.collectFirst({
       case tool if tool.name == name =>
-        args => Command_Line.tool0 { tool.body(args) }
+        args => Command_Line.tool { tool.body(args) }
       })
 
 
@@ -116,7 +116,7 @@
 
   def main(args: Array[String])
   {
-    Command_Line.tool0 {
+    Command_Line.tool {
       args.toList match {
         case Nil | List("-?") =>
           val tool_descriptions =