test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java
changeset 53023 6879069d9d94
parent 52377 907fdbbdf584
child 53878 4584d0331318
--- a/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java	Thu Dec 13 17:01:15 2018 +0100
+++ b/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java	Thu Dec 13 19:06:11 2018 +0100
@@ -24,7 +24,7 @@
 // key: compiler.note.preview.filename.additional
 // key: compiler.warn.preview.feature.use
 // key: compiler.misc.feature.diamond
-// options: -Xlint:preview -Xmaxwarns 1 -XDforcePreview  -source 12 --enable-preview
+// options: -Xlint:preview -Xmaxwarns 1 -XDforcePreview  -source 13 --enable-preview
 
 import java.util.ArrayList;