From fc374c0790229956d24530d4e1ec79a3068b4c02 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 15 Oct 2012 15:14:51 +0200 Subject: [PATCH] * src/tgbatest/spotlbtt.test: Remove superfluous options. --- src/tgbatest/spotlbtt.test | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test index 880aea67f..21cf53c88 100755 --- a/src/tgbatest/spotlbtt.test +++ b/src/tgbatest/spotlbtt.test @@ -211,7 +211,7 @@ Algorithm { Name = "Spot (Couvreur -- TAA), simulated" Path = "${LBTT_TRANSLATE}" - Parameters = "--spot '../ltl2tgba -F -f -l -taa -t -RDS -r4 -R3'" + Parameters = "--spot '../ltl2tgba -F -taa -t -RDS -r4 -R3'" Enabled = yes }