From 4f963c1f8ed161e7d054efcc57da5d930bb3a484 Mon Sep 17 00:00:00 2001 From: Joscha Mennicken Date: Wed, 26 Jun 2024 17:41:05 +0200 Subject: [PATCH] Show usage help for -repl command --- .../src/main/scala/edu/cmu/cs/ls/keymaerax/cli/Usage.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/cli/Usage.scala b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/cli/Usage.scala index 24abb6626c..155845b4e3 100644 --- a/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/cli/Usage.scala +++ b/keymaerax-core/src/main/scala/edu/cmu/cs/ls/keymaerax/cli/Usage.scala @@ -39,6 +39,7 @@ object Usage { ) case "-proofStatisticsPrinter" => println(noValueMessage + "Please use: -proofStatisticsPrinter [default|arch-nln|arch-hstp]\n\n" + usage) + case "-repl" => println("Please use: -repl MODEL.kyx TACTIC.kyt [DEFS.scala]\n\n") case _ => println("[Error] Unknown option " + option + "\n\n" + usage) } }