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

Print this page

        

@@ -25,11 +25,11 @@
  * @test
  * @ bug
  * @summary Negative regression test from odersky
  * @author odersky
  *
- * @compile/fail -source 1.5 BadTest4.java
+ * @compile/fail  BadTest4.java
  */
 
 class BadTest4 {
 
     interface I {}