From 240d5b4605ee2193be62519d98b6eda1e2b2cd35 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 7 Jun 2015 19:11:48 +0200
Subject: [PATCH] * src/tests/ltl2dstar.test: Fix after recent change to
 relabeling_map.

---
 src/tests/ltl2dstar.test | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/tests/ltl2dstar.test b/src/tests/ltl2dstar.test
index 1048a8e18..9f570529a 100755
--- a/src/tests/ltl2dstar.test
+++ b/src/tests/ltl2dstar.test
@@ -85,21 +85,21 @@ cat >expected <<EOF
 HOA: v1
 States: 5
 Start: 3
-AP: 2 "b" "a"
+AP: 2 "a" "b"
 acc-name: Rabin 2
 Acceptance: 4 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3))
 properties: implicit-labels state-acc complete deterministic
 --BODY--
 State: 0 {1 3}
-2 0 4 1
+2 4 0 1
 State: 1 {0 3}
-2 0 4 1
+2 4 0 1
 State: 2 {1}
-2 0 4 1
+2 4 0 1
 State: 3 {0}
-0 0 1 1
+0 1 0 1
 State: 4 {0}
-2 0 4 1
+2 4 0 1
 --END--
 EOF
 diff out.hoa expected