diff dwtx/jface/text/Position.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/Position.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/Position.d	Sun Aug 24 01:46:20 2008 +0200
@@ -246,7 +246,7 @@
      */
     public bool equals(Object other) {
         if (other instanceof Position) {
-            Position rp= (Position) other;
+            Position rp= cast(Position) other;
             return (rp.offset is offset) && (rp.length is length);
         }
         return super.equals(other);