From ad48b6c048e0e052e2680e7faba1c30f7d2654e5 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 27 Feb 2009 18:56:59 +0000
Subject: [PATCH] extend library class

---
 Robust/src/ClassLibrary/String.java | 6 ++++++
 1 file changed, 6 insertions(+)

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++)
-- 
2.34.1