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