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

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

diff --git a/source/mir/producer/GeneratingProducerNode.java b/source/mir/producer/GeneratingProducerNode.java
index 67002b7..ba3dc05 100755 (executable)
--- a/source/mir/producer/GeneratingProducerNode.java
+++ b/source/mir/producer/GeneratingProducerNode.java
@@ -90,8 +90,4 @@ public class GeneratingProducerNode implements ProducerNode {
     aLogger.println("  Time: " + (endTime-startTime) + " ms");
     aLogger.flush();
   }
-
-  public Set buildVerbSet() {
-    return new HashSet();
-  }
 }
\ No newline at end of file