diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 96aee3decb883aecc0b58396a6419e95fbaca57a..2e1e6634f9c1a2e07ad594765c44bee97307c5b2 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -107,8 +107,6 @@ object Main {
         settings = settings.copy(synthesis = false, xlang = false, verify = false)
       case LeonFlagOption("help") =>
         displayHelp(reporter)
-      case LeonFlagOption("noLuckyTests") =>
-        Settings.luckyTest = false
       case _ =>
     }