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

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

diff --git a/source/mir/producer/DirCopyingProducerNode.java b/source/mir/producer/DirCopyingProducerNode.java
index c943c98..13d13b3 100755 (executable)
--- a/source/mir/producer/DirCopyingProducerNode.java
+++ b/source/mir/producer/DirCopyingProducerNode.java
@@ -64,8 +64,4 @@ public class DirCopyingProducerNode implements ProducerNode  {
       throw new ProducerFailure("Copying " + source + " into " + destination + " failed: " + e.getMessage(), e);
     }
   }
-
-  public Set buildVerbSet() {
-    return new HashSet();
-  }
 }