From f3f43051501dd67a136538fb88b5cbf1876ee17d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 13 Jan 2015 17:13:58 +0100
Subject: [PATCH] use ltl2tgba -Ds instead of ltl2tgba -sD in the test suite

Because -s can now take arguments.

* src/tgbatest/ltl2dstar2.test: Here.
---
 src/tgbatest/ltl2dstar2.test | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tgbatest/ltl2dstar2.test b/src/tgbatest/ltl2dstar2.test
index 620aad739..7d014d400 100755
--- a/src/tgbatest/ltl2dstar2.test
+++ b/src/tgbatest/ltl2dstar2.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2013 Laboratoire de Recherche et
+# Copyright (C) 2013, 2015 Laboratoire de Recherche et
 # Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -71,7 +71,7 @@ head -n 20 > formulas
 while read f; do
   expected=`$ltl2tgba "$f" -BD --stats '%s %e 1 %d'`
   $ltlfilt -f "$f" -l |
-  ltl2dstar --ltl2nba=spin:$ltl2tgba@-sD - foo
+  ltl2dstar --ltl2nba=spin:$ltl2tgba@-Ds - foo
   echo "$f"
   output=`$dstar2tgba foo -BD --stats '%s %e %d 1'`
   # the '1 %d' matching '%d 1' makes sure input and output are deterministic.