diff dwtx/jface/text/BadPartitioningException.d @ 161:f8d52b926852

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:49:30 +0200
parents 000f9136b8f7
children
line wrap: on
line diff
--- a/dwtx/jface/text/BadPartitioningException.d	Wed Aug 27 02:07:22 2008 +0200
+++ b/dwtx/jface/text/BadPartitioningException.d	Wed Aug 27 14:49:30 2008 +0200
@@ -181,6 +181,7 @@
      * Creates a new bad partitioning exception.
      */
     public this() {
+        super("");
     }
 
     /**