diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index 04ed6bc41df6aa410879b2492aeb9f5580ab93a9..5e2585eb5612e34cb0af33c9daa4b75c43dc4d0c 100644
--- a/src/main/scala/leon/Settings.scala
+++ b/src/main/scala/leon/Settings.scala
@@ -37,5 +37,5 @@ object Settings {
 case class Settings(
   val synthesis: Boolean    = false,
   val xlang: Boolean        = false,
-  val verify: Boolean      = true
+  val verify: Boolean       = true
 )