From 09d96969950b634328060b9f930c396b0eceacfc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 23 Aug 2011 09:06:03 +0200 Subject: [PATCH] Make sure 'a U XXXFb' reduces to 'XXXFb'. Spot 0.7.1 missed that. * src/ltltest/reduccmp.test: Add the test. --- src/ltltest/reduccmp.test | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ltltest/reduccmp.test b/src/ltltest/reduccmp.test index aa99ec3e2..2bad04260 100755 --- a/src/ltltest/reduccmp.test +++ b/src/ltltest/reduccmp.test @@ -177,4 +177,6 @@ for x in ../reduccmp ../reductaustr; do run 0 $x 'b U Fa' 'Fa' run 0 $x 'b U GFa' 'GFa' run 0 $x 'Ga' 'Ga' + + run 0 $x 'a U XXXFb' 'XXXFb' done