i changed the exception-handling of the new producers and localizers to use the multe...
[mir.git] / source / mir / producer / ProducerFactory.java
index 401c25e..6cb01be 100755 (executable)
@@ -3,7 +3,7 @@ package mir.producer;
 import java.util.*;
 
 public interface ProducerFactory {
-  public Producer makeProducer(String aVerb) throws ProducerException;
+  public Producer makeProducer(String aVerb) throws ProducerFailure;
   public Iterator verbs();
 }