@@ -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 {