From c08e0e4abf76b40b007a228ffd222b98f4f09a90 Mon Sep 17 00:00:00 2001 From: Dale Wijnand Date: Mon, 15 Jul 2024 18:16:35 +0100 Subject: [PATCH] Update compiler/src/dotty/tools/dotc/config/Settings.scala Co-authored-by: Eugene Flesselle --- compiler/src/dotty/tools/dotc/config/Settings.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/config/Settings.scala b/compiler/src/dotty/tools/dotc/config/Settings.scala index 4a3a5a4643c7..7454682fba56 100644 --- a/compiler/src/dotty/tools/dotc/config/Settings.scala +++ b/compiler/src/dotty/tools/dotc/config/Settings.scala @@ -414,7 +414,7 @@ object Settings: def PrefixSetting(category: SettingCategory, name0: String, descr: String, deprecation: Option[Deprecation] = None): Setting[List[String]] = val name = prependName(name0) val prefix = name.takeWhile(_ != '<') - publish(Setting(category, "-" + name, descr, Nil, prefix = Some(prefix), deprecation = deprecation)) + publish(Setting(category, name, descr, Nil, prefix = Some(prefix), deprecation = deprecation)) def VersionSetting(category: SettingCategory, name: String, descr: String, default: ScalaVersion = NoScalaVersion, legacyArgs: Boolean = false, deprecation: Option[Deprecation] = None): Setting[ScalaVersion] = publish(Setting(category, prependName(name), descr, default, legacyArgs = legacyArgs, deprecation = deprecation))