test/langtools/tools/javac/generics/odersky/BadTest4.java

@@ -2,11 +2,11 @@
  * @test /nodynamiccopyright/
  * @bug 4736963
  * @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
  */
 
 class BadTest4 {