diff --git a/main/SessionSettings.scala b/main/SessionSettings.scala index 2a487c0d2..5e787c80b 100755 --- a/main/SessionSettings.scala +++ b/main/SessionSettings.scala @@ -152,7 +152,7 @@ object SessionSettings } def printSettings(settings: Seq[SessionSetting]): Unit = for(((_,stringRep), index) <- settings.zipWithIndex) - println(" " + (index+1) + ". " + stringRep) + println(" " + (index+1) + ". " + stringRep.mkString("\n")) def Help = """session