# HG changeset patch
# User desharna
# Date 1640007983 -3600
# Node ID 340c5f3506a8e7c3e52720a667be1d159ac9b320
# Parent  953f53f03437f1d8f5f4d7525654f76239906ee8
tuned mirabelle command-line help message

diff -r 953f53f03437 -r 340c5f3506a8 src/HOL/Tools/Mirabelle/mirabelle.scala
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Mon Dec 20 08:40:28 2021 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Mon Dec 20 14:46:23 2021 +0100
@@ -170,7 +170,7 @@
 
   Available actions are:""" + action_names().mkString("\n    ", "\n    ", "") + """
 
-  For the ACTION "sledgehammer", the following OPTIONs are available:""" +
+  For the ACTION "sledgehammer", the usual sledgehammer as well as the following mirabelle-specific OPTIONs are available:""" +
       sledgehammer_options().mkString("\n    ", "\n    ", "\n"),
       "A:" -> (arg => actions = actions ::: List(arg)),
       "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),