From 3334a6a679bea101b16adcb4dde4eacd26926838 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 21 May 2018 15:10:15 +0200
Subject: [PATCH] bin: remove dead code from ltl2tgta

* bin/ltl2tgta.cc: There is no -B option.
---
 bin/ltl2tgta.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/bin/ltl2tgta.cc b/bin/ltl2tgta.cc
index 717100fb8..198b9ccfe 100644
--- a/bin/ltl2tgta.cc
+++ b/bin/ltl2tgta.cc
@@ -115,9 +115,6 @@ parse_opt(int key, char* arg, struct argp_state*)
     case '8':
       spot::enable_utf8();
       break;
-    case 'B':
-      type = spot::postprocessor::BA;
-      break;
     case 'x':
       {
         const char* opt = extra_options.parse_options(arg);