Rename Main => CLI

japgolly · Dec 14, 2020 · 792aae3 · 792aae3
1 parent 551fb34
commit 792aae3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/scala/tla2json/Main.scala → src/main/scala/tla2json/CLI.scala b/src/main/scala/tla2json/Main.scala → src/main/scala/tla2json/CLI.scala
@@ -5,7 +5,7 @@ import java.io._
 import java.nio.charset.StandardCharsets
 import scala.util.Using
 
-object Main {
+object CLI {
 
   private final val cliName = "tla2json"
   private final val displayName = cliName
@@ -29,6 +29,7 @@ object Main {
 
   private val optParser = new scopt.OptionParser[Options](cliName) {
     head(displayName, "v" + BuildInfo.version)
+    head()
 
     opt[Unit]('D', "dump"          ).action_(_.copy(parseDump    = true)).text("Parse input as a dump")
     opt[Unit]('T', "trace"         ).action_(_.copy(parseTrace   = true)).text("Parse input as a trace (default)")