diff dwtx/jface/text/TypedPosition.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children b6bad70d540a
line wrap: on
line diff
--- a/dwtx/jface/text/TypedPosition.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/TypedPosition.d	Sun Aug 24 01:46:20 2008 +0200
@@ -207,7 +207,7 @@
     public bool equals(Object o) {
         if (o instanceof TypedPosition) {
             if (super.equals(o)) {
-                TypedPosition p= (TypedPosition) o;
+                TypedPosition p= cast(TypedPosition) o;
                 return (fType is null && p.getType() is null) || fType.equals(p.getType());
             }
         }