diff options
| -rw-r--r-- | test/files/pos/bug1136.check | 2 | ||||
| -rw-r--r-- | test/files/run/withIndex.check | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/bug1136.check b/test/files/pos/bug1136.check index 27745ab8ab..0747cddefb 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 -Xunchecked for details +warning: there were unchecked warnings; re-run with -unchecked for details one warning found diff --git a/test/files/run/withIndex.check b/test/files/run/withIndex.check index 8fd779af86..e8060bb1d7 100644 --- a/test/files/run/withIndex.check +++ b/test/files/run/withIndex.check @@ -1,4 +1,4 @@ -warning: there were unchecked warnings; re-run with -Xunchecked for details +warning: there were unchecked warnings; re-run with -unchecked for details one warning found List((a,0), (b,1), (c,2)) List((a,0), (b,1), (c,2)) |