--- old/test/langtools/tools/javac/generics/odersky/BadTest4.java	2018-07-07 20:00:29.717001000 -0700
+++ new/test/langtools/tools/javac/generics/odersky/BadTest4.java	2018-07-07 20:00:29.577001000 -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
  */