Use 'Effekt ' prefix for version

effekt-lang · Aug 26, 2024 · 2fae227 · 2fae227
1 parent 187a71e
commit 2fae227
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/effekt/jvm/src/main/scala/effekt/EffektConfig.scala b/effekt/jvm/src/main/scala/effekt/EffektConfig.scala
@@ -6,8 +6,8 @@ import kiama.util.REPLConfig
 import org.rogach.scallop.{ ScallopOption, fileConverter, fileListConverter, longConverter, stringConverter, stringListConverter }
 
 class EffektConfig(args: Seq[String]) extends REPLConfig(args.takeWhile(_ != "--")) {
-  // Print version on `--version`
-  version(effekt.util.Version.effektVersion)
+  // Print version information on `--version` and `--help`
+  version(s"Effekt ${effekt.util.Version.effektVersion}")
 
   // Common
   // ------