--- a/test/langtools/tools/javac/generics/odersky/BadTest4.java	Thu Jul 12 12:06:22 2018 -0700
+++ b/test/langtools/tools/javac/generics/odersky/BadTest4.java	Thu Jul 12 14:13:15 2018 -0700
@@ -4,7 +4,7 @@
  * @summary Negative regression test from odersky
  * @author odersky
  *
- * @compile/fail/ref=BadTest4.out -XDrawDiagnostics -source 7 BadTest4.java
+ * @compile/fail/ref=BadTest4.out -XDrawDiagnostics -source 7 -Xlint:-options BadTest4.java
  * @compile BadTest4.java
  */