--- a/test/langtools/tools/javac/diags/examples/RuleCompletesNormally.java	Thu Dec 13 17:01:15 2018 +0100
+++ b/test/langtools/tools/javac/diags/examples/RuleCompletesNormally.java	Thu Dec 13 19:06:11 2018 +0100
@@ -24,7 +24,7 @@
 // key: compiler.err.rule.completes.normally
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class RuleCompletesNormally {
     public String convert(int i) {