1.1 --- a/test/tools/javac/cast/intersection/model/Model01.java Mon Jan 21 20:13:56 2013 +0000 1.2 +++ b/test/tools/javac/cast/intersection/model/Model01.java Mon Jan 21 20:14:39 2013 +0000 1.3 @@ -27,7 +27,7 @@ 1.4 * @summary Add support for intersection types in cast expression 1.5 * @library /tools/javac/lib 1.6 * @build JavacTestingAbstractProcessor ModelChecker 1.7 - * @compile -XDallowIntersectionTypes -processor ModelChecker Model01.java 1.8 + * @compile -processor ModelChecker Model01.java 1.9 */ 1.10 1.11 import javax.lang.model.element.ElementKind;