diff dwtx/jface/text/RewriteSessionEditProcessor.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/RewriteSessionEditProcessor.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/RewriteSessionEditProcessor.d	Sun Aug 24 01:46:20 2008 +0200
@@ -230,7 +230,7 @@
         if (!(document instanceof IDocumentExtension4))
             return super.performEdits();
 
-        IDocumentExtension4 extension= (IDocumentExtension4) document;
+        IDocumentExtension4 extension= cast(IDocumentExtension4) document;
         bool isLargeEdit= isLargeEdit(getRoot());
         DocumentRewriteSessionType type= isLargeEdit ? DocumentRewriteSessionType.UNRESTRICTED : DocumentRewriteSessionType.UNRESTRICTED_SMALL;