From f7c4ca816b234e80fea97fa4b494946481b5fb48 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 24 Oct 2015 17:00:53 +0200
Subject: [PATCH] * src/tests/ltldo2.test: Honor $LTL2BA.

---
 src/tests/ltldo2.test | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tests/ltldo2.test b/src/tests/ltldo2.test
index 7b8de7e6b..ac30dd219 100755
--- a/src/tests/ltldo2.test
+++ b/src/tests/ltldo2.test
@@ -27,5 +27,5 @@ genltl=../../bin/genltl
 test -n "$LTL2BA" || exit 77
 
 $genltl --or-g=1..2 |
-    run 0 $ltldo 'ltl2ba -f %s>%H' '{foo}ltl2ba' >output
+    run 0 $ltldo "$LTL2BA -f %s>%H" '{foo}ltl2ba' >output
 test 4 = `grep -c digraph output`