diff --git a/testing/succeed-lbnf/duplicate-label-same-cat.out b/testing/succeed-lbnf/duplicate-label-same-cat.out index 978706b0..d82a4a9b 100644 --- a/testing/succeed-lbnf/duplicate-label-same-cat.out +++ b/testing/succeed-lbnf/duplicate-label-same-cat.out @@ -3,5 +3,5 @@ Warning: names not unique: succeed-lbnf/duplicate-label-same-cat.cf:4:1: Baz This can be an error in some backends. -2 rules accepted +3 rules accepted