diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-20 17:39:32 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-20 17:39:32 +0100 |
| commit | 5ac2104e688409e24785cfe62cdc7e8ef0bc6428 (patch) | |
| tree | 0d48205fa5b50c25e240d77d4fb0e26c4b6c9b36 /src/dotty/tools/dotc/config/Settings.scala | |
| parent | 53e0a8a9227820e47e33f1e0b1d91819aec917c4 (diff) | |
| download | dotty-5ac2104e688409e24785cfe62cdc7e8ef0bc6428.tar.gz dotty-5ac2104e688409e24785cfe62cdc7e8ef0bc6428.tar.bz2 dotty-5ac2104e688409e24785cfe62cdc7e8ef0bc6428.zip | |
Pretty-printing improvements.
Diffstat (limited to 'src/dotty/tools/dotc/config/Settings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Settings.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/Settings.scala b/src/dotty/tools/dotc/config/Settings.scala index adac2ecfd..96b047ede 100644 --- a/src/dotty/tools/dotc/config/Settings.scala +++ b/src/dotty/tools/dotc/config/Settings.scala @@ -230,7 +230,7 @@ object Settings { def ChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String], default: String): Setting[String] = publish(Setting(name, descr, default, helpArg, choices)) - def IntSetting(name: String, descr: String, default: Int, range: Seq[Int]): Setting[Int] = + def IntSetting(name: String, descr: String, default: Int, range: Seq[Int] = Nil): Setting[Int] = publish(Setting(name, descr, default, choices = range)) def MultiStringSetting(name: String, helpArg: String, descr: String): Setting[List[String]] = |