# HG changeset patch
# User wenzelm
# Date 1621093129 -7200
# Node ID b6d44419428063e54db2ad4db658a1c5795826b4
# Parent  60519a7bfc53b7ab582d67356b756f69c2186368
clarified command-line;

diff -r 60519a7bfc53 -r b6d444194280 src/HOL/Tools/Mirabelle/mirabelle.scala
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Sat May 15 13:25:52 2021 +0200
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Sat May 15 17:38:49 2021 +0200
@@ -213,8 +213,7 @@
       "x:" -> (arg => exclude_sessions = exclude_sessions ::: List(arg)))
 
     val sessions = getopts(args)
-
-    if (actions.isEmpty) error("Missing actions (option -A)")
+    if (actions.isEmpty) getopts.usage()
 
     val progress = new Console_Progress(verbose = verbose)