some misc. maintenance

[mir.git] / source / mircoders / localizer / MirProducerLocalizer.java

diff --git a/source/mircoders/localizer/MirProducerLocalizer.java b/source/mircoders/localizer/MirProducerLocalizer.java
index 475fb4e..8434e68 100755 (executable)
--- a/source/mircoders/localizer/MirProducerLocalizer.java
+++ b/source/mircoders/localizer/MirProducerLocalizer.java
@@ -35,7 +35,7 @@ import java.util.List;
 import mir.producer.ProducerFactory;
 
 public interface MirProducerLocalizer {
-  public List factories() throws MirLocalizerException, MirLocalizerFailure;
+  public List factories() throws MirLocalizerExc, MirLocalizerFailure;
   public ProducerFactory getFactoryForName(String aName);
   public void produceAllNew();
 }