diff options
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/bug3430.flags (renamed from test/files/pos/bug3431.flags) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/files/pos/bug3431.flags b/test/files/pos/bug3430.flags index eb4d19bcb9..eb4d19bcb9 100644 --- a/test/files/pos/bug3431.flags +++ b/test/files/pos/bug3430.flags |