Show usage help for -repl command

LS-Lab · Jun 26, 2024 · 4f963c1 · 4f963c1
1 parent b402255
commit 4f963c1
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -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)
  }
  }