bug fixes for udp broadcast

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index a46cca8253f35ac80d147011014c73325ee38ee4..2fa3e23ec23f36c6f21ce611b773d2565255492d 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -164,6 +164,7 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
          readSourceFile(state, ClassLibraryPrefix+"Vector.java");
          readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
+         readSourceFile(state, ClassLibraryPrefix+"Signal.java");
 
 
       if (state.TASK) {