diff dwtx/jface/text/projection/ProjectionDocumentManager.d @ 140:26688fec6d23

Following dsss compile errors
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 03:23:46 +0200
parents b6bad70d540a
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/projection/ProjectionDocumentManager.d	Sun Aug 24 02:31:41 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocumentManager.d	Sun Aug 24 03:23:46 2008 +0200
@@ -103,7 +103,7 @@
      * @return <code>true</code> if the given document is a master document known to this manager
      */
     private bool hasProjection(IDocument master) {
-        return (fProjectionRegistry.get(master) instanceof List);
+        return (cast(List)fProjectionRegistry.get(master) );
     }
 
     /**