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

*** 25,35 ****
   * @test
   * @ bug
   * @summary Positive regression test from odersky
   * @author odersky
   *
!  * @compile -source 1.5 Test2.java
   */
  
  class Test2 {
      interface Ord {}
  
--- 25,35 ----
   * @test
   * @ bug
   * @summary Positive regression test from odersky
   * @author odersky
   *
!  * @compile  Test2.java
   */
  
  class Test2 {
      interface Ord {}