langtools/test/tools/javac/generics/InterfaceCast1.java
changeset 2985 f43e1241e7fb
parent 10 06bc494ca11e
child 5520 86e4b9a9da40
--- a/langtools/test/tools/javac/generics/InterfaceCast1.java	Thu May 21 10:56:36 2009 +0100
+++ b/langtools/test/tools/javac/generics/InterfaceCast1.java	Wed May 27 22:34:43 2009 -0700
@@ -27,7 +27,7 @@
  * @summary overridden interface method causes the compiler to reject cast
  * @author gafter
  *
- * @compile -source 1.5 InterfaceCast1.java
+ * @compile  InterfaceCast1.java
  */
 
 public class InterfaceCast1 {