diff dwtx/text/undo/DocumentUndoEvent.d @ 161:f8d52b926852

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:49:30 +0200
parents 7926b636c282
children
line wrap: on
line diff
--- a/dwtx/text/undo/DocumentUndoEvent.d	Wed Aug 27 02:07:22 2008 +0200
+++ b/dwtx/text/undo/DocumentUndoEvent.d	Wed Aug 27 14:49:30 2008 +0200
@@ -98,7 +98,7 @@
      */
     this(IDocument doc, int offset, String text, String preservedText, int eventType, Object source) {
 
-        Assert.isNotNull(doc);
+        Assert.isNotNull(cast(Object)doc);
         Assert.isTrue(offset >= 0);
 
         fDocument= doc;