From 57ddf52df0f1a9cc0d308023f9dd986184125f30 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 26 Jan 2004 10:16:18 +0000
Subject: [PATCH] * src/tgbatest/explpro2.test: Fix reordering regex.

---
 ChangeLog                  | 2 ++
 src/tgbatest/explpro2.test | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 30d4f2b89..d5659bb08 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-01-26  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/explpro2.test: Fix reordering regex.
+
 	* src/tgbatest/defs.in (run): Use libtool --mode=execute.
 
 2004-01-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/src/tgbatest/explpro2.test b/src/tgbatest/explpro2.test
index 05868879e..c5ae2f6d6 100755
--- a/src/tgbatest/explpro2.test
+++ b/src/tgbatest/explpro2.test
@@ -47,7 +47,7 @@ run 0 ./explprod input1 input2 > stdout
 
 # Sort out some possible inversions in the output.
 # (The order is not guaranteed by SPOT.)
-perl -pe 's/("\w+") ("\w+")(?: ("\w+"))?/@{[sort $1, $2, $3]}/g;s/\(!b & a\)/(a & !b)/g;s/\(!c & a\)/(a & !c)/g' \
+perl -pe 's/("\w+") ("\w+")(?: ("\w+"))?/@{[sort $1, $2, $3]}/g;s/\(!b & a\)/(a & !b)/g;s/\(b & !a\)/(!a & b)/g' \
   stdout > tmp_ && mv tmp_ stdout
 
 cat stdout