--- a/test/langtools/tools/javac/diags/examples/SwitchMixingCaseTypes.java	Thu Dec 13 17:01:15 2018 +0100
+++ b/test/langtools/tools/javac/diags/examples/SwitchMixingCaseTypes.java	Thu Dec 13 19:06:11 2018 +0100
@@ -24,7 +24,7 @@
 // key: compiler.err.switch.mixing.case.types
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class SwitchMixingCaseTypes {