- producer links are moved to an "advanced" page, not intended for normal

[mir.git] / source / mir / producer / ProducerNode.java

diff --git a/source/mir/producer/ProducerNode.java b/source/mir/producer/ProducerNode.java
index 6aa8aef..1afaa59 100755 (executable)
--- a/source/mir/producer/ProducerNode.java
+++ b/source/mir/producer/ProducerNode.java
@@ -36,5 +36,4 @@ import java.io.*;
 
 public interface ProducerNode {
   public void produce(Map aValueSet, String aVerb, PrintWriter aLogger) throws ProducerExc, ProducerFailure;
-  public Set buildVerbSet();
 }
\ No newline at end of file