From b5b3cd9d0c57cad747527f6c9111e1eaa37824ca Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Sep 2012 09:52:34 +0200
Subject: [PATCH] * src/bin/ltlfilt.cc (--psl): Remove this option.

---
 src/bin/ltlfilt.cc | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/bin/ltlfilt.cc b/src/bin/ltlfilt.cc
index 3738afd55..b747f5ea5 100644
--- a/src/bin/ltlfilt.cc
+++ b/src/bin/ltlfilt.cc
@@ -69,7 +69,6 @@ Exit status:\n\
 #define OPT_DROP_ERRORS 3
 #define OPT_NNF 4
 #define OPT_LTL 5
-#define OPT_PSL 6
 #define OPT_NOX 7
 #define OPT_BOOLEAN 8
 #define OPT_EVENTUAL 9
@@ -115,8 +114,7 @@ static const argp_option options[] =
     /**************************************************/
     { 0, 0, 0, 0,
       "Filtering options (matching is done after transformation):", 5 },
-    { "ltl", OPT_LTL, 0, 0, "match LTL formulas", 0 },
-    { "psl", OPT_PSL, 0, 0, "match PSL formulas", 0 },
+    { "ltl", OPT_LTL, 0, 0, "match only LTL formulas (no PSL operator)", 0 },
     { "nox", OPT_NOX, 0, 0, "match X-free formulas", 0 },
     { "boolean", OPT_BOOLEAN, 0, 0, "match Boolean formulas", 0 },
     { "eventual", OPT_EVENTUAL, 0, 0, "match pure eventualities", 0 },
@@ -300,9 +298,6 @@ parse_opt(int key, char* arg, struct argp_state*)
     case OPT_OBLIGATION:
       obligation = true;
       break;
-    case OPT_PSL:
-      psl = true;
-      break;
     case OPT_RELABEL:
       relabeling = true;
       if (!arg || !strncasecmp(arg, "abc", 6))