diff dwtx/jface/text/TypedPosition.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 3678e4f1a766
line wrap: on
line diff
--- a/dwtx/jface/text/TypedPosition.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/TypedPosition.d	Sun Aug 24 02:26:23 2008 +0200
@@ -205,7 +205,7 @@
      * @see java.lang.Object#equals(java.lang.Object)
      */
     public bool equals(Object o) {
-        if (o instanceof TypedPosition) {
+        if ( cast(TypedPosition)o ) {
             if (super.equals(o)) {
                 TypedPosition p= cast(TypedPosition) o;
                 return (fType is null && p.getType() is null) || fType.equals(p.getType());