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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 6dcb0baaa031
children 26688fec6d23
line wrap: on
line diff
--- a/dwtx/jface/text/DefaultDocumentAdapter.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/DefaultDocumentAdapter.d	Sun Aug 24 02:26:23 2008 +0200
@@ -275,7 +275,7 @@
      * @since 3.0
      */
     private void repairLineInformation(IDocument document) {
-        if (document instanceof IRepairableDocument) {
+        if ( cast(IRepairableDocument)document ) {
             IRepairableDocument repairable= cast(IRepairableDocument) document;
             repairable.repairLineInformation();
         }