diff options
Diffstat (limited to 'test/files/pos/bug1136.check')
-rw-r--r-- | test/files/pos/bug1136.check | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/files/pos/bug1136.check b/test/files/pos/bug1136.check deleted file mode 100644 index 0747cddefb..0000000000 --- a/test/files/pos/bug1136.check +++ /dev/null @@ -1,2 +0,0 @@ -warning: there were unchecked warnings; re-run with -unchecked for details -one warning found |