diff options
Diffstat (limited to 'sources/scala/tools/nsc/Settings.scala')
-rw-r--r-- | sources/scala/tools/nsc/Settings.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sources/scala/tools/nsc/Settings.scala b/sources/scala/tools/nsc/Settings.scala index 8e66ee3dac..97518f0ac9 100644 --- a/sources/scala/tools/nsc/Settings.scala +++ b/sources/scala/tools/nsc/Settings.scala @@ -99,12 +99,12 @@ class Settings(error: String => unit) { def tryToSet(args: List[String]): List[String] = args match { case n :: rest if (n == name) => if (rest.isEmpty) { - error("missing argument"); - List() - } else { - value = rest.head; - rest.tail - } + error("missing argument"); + List() + } else { + value = rest.head; + rest.tail + } case _ => args } |