bugfixes mainly...
[mir.git] / source / mircoders / localizer / MirLocalizerFailure.java
index 71a73ef..c5a99e4 100755 (executable)
@@ -6,4 +6,7 @@ public class MirLocalizerFailure extends Failure {
   public MirLocalizerFailure(String msg, Throwable throwable) {
     super(msg, throwable);
   }
+  public MirLocalizerFailure(Throwable aThrowable) {
+    this(aThrowable.getMessage(), aThrowable);
+  }
 }