From ec722aeb5dce44fcd829d678954ce638fc1c7618 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 25 Oct 2012 14:10:09 +0200
Subject: [PATCH] --help displayed twice
---
src/main/scala/leon/Main.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index b7681eaf9..0f44ffb74 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)) {
--
GitLab