diff dwtx/jface/text/rules/DefaultDamagerRepairer.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents eb21d3dfc767
children eb98a5cbfd78
line wrap: on
line diff
--- a/dwtx/jface/text/rules/DefaultDamagerRepairer.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/rules/DefaultDamagerRepairer.d	Mon Sep 08 00:51:37 2008 +0200
@@ -106,7 +106,7 @@
      */
     public this(ITokenScanner scanner) {
 
-        Assert.isNotNull(scanner);
+        Assert.isNotNull(cast(Object)scanner);
 
         fScanner= scanner;
         fDefaultTextAttribute= new TextAttribute(null);