From: jjenista <jjenista>
Date: Fri, 27 Feb 2009 18:56:59 +0000 (+0000)
Subject: extend library class
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ad48b6c048e0e052e2680e7faba1c30f7d2654e5;p=IRC.git

extend library class
---

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index dab2feeb..147a5b96 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -7,6 +7,12 @@ public class String {
   private String() {
   }
 
+  public String(char c) {
+    char[] str = new char[1];
+    str[0] = c;
+    String(str);
+  }
+
   public String(char str[]) {
     char charstr[]=new char[str.length];
     for(int i=0; i<str.length; i++)