diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index b7681eaf955831465f2e8c2100ec8296ee1c6494..0f44ffb74e0bebe72f37cd742c032641721c79de 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -26,7 +26,7 @@ object Main {
     )
 
   def displayHelp(reporter: Reporter) {
-    reporter.info("usage: leon [--xlang] [--help] [--synthesis] [--help] [--debug=<N>] [..] <files>")
+    reporter.info("usage: leon [--xlang] [--synthesis] [--help] [--debug=<N>] [..] <files>")
     reporter.info("")
     reporter.info("Leon options are:")
     for (opt <- allOptions.toSeq.sortBy(_.name)) {