diff options
Diffstat (limited to 'test/files/presentation')
| -rw-r--r-- | test/files/presentation/patmat.flags | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/files/presentation/patmat.flags b/test/files/presentation/patmat.flags index 468b48c9e3..dc13682c5e 100644 --- a/test/files/presentation/patmat.flags +++ b/test/files/presentation/patmat.flags @@ -1,3 +1,2 @@ # This test will fail in the new pattern matcher because # it generates trees whose positions are not transparent --Xoldpatmat |