From f529d475a7c3e2600de2cd1ed743245a5911438e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 5 Oct 2006 07:18:18 +0000
Subject: [PATCH 1/1] Add ServerSocket/Socket classes.

---
 Robust/src/Main/Main.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index f5c2c6b8..8dbe05dc 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -51,8 +51,11 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");
       readSourceFile(state, ClassLibraryPrefix+"System.java");
       readSourceFile(state, ClassLibraryPrefix+"String.java");
-      if (state.TASK)      
+      if (state.TASK) {
 	  readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
+	  readSourceFile(state, ClassLibraryPrefix+"Socket.java");
+	  readSourceFile(state, ClassLibraryPrefix+"ServerSocket.java");
+      }
 
       BuildIR bir=new BuildIR(state);
       bir.buildtree();
-- 
2.34.1