Skip to content

Commit

Permalink
[ #214 testsuite ] fixed test output
Browse files Browse the repository at this point in the history
  • Loading branch information
andreasabel committed Oct 7, 2020
1 parent d94d8d2 commit c910e8e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion testing/succeed-lbnf/duplicate-label-same-cat.out
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit c910e8e

Please sign in to comment.