diff dwtx/jface/text/source/AnnotationModelEvent.d @ 143:53b889547456

instanceof after &&
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:32:37 +0200
parents b6bad70d540a
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationModelEvent.d	Sun Aug 24 21:29:00 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationModelEvent.d	Sun Aug 24 21:32:37 2008 +0200
@@ -304,7 +304,7 @@
      * @since 3.0
      */
     public bool isValid() {
-        if (fModificationStamp !is null && fAnnotationModel instanceof IAnnotationModelExtension) {
+        if (fModificationStamp !is null && cast(IAnnotationModelExtension)fAnnotationModel ) {
             IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel;
             return fModificationStamp is extension.getModificationStamp();
         }