X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FSSJavaInfer%2FString.java;h=fa0365895b72da616c20afde01fe22c9b25d06e0;hb=d45bb251bdc1196d7848094fa2ccd566b39e021c;hp=e2b6d7e49bbbe87d1c8c4b641676104f7e808e0a;hpb=9d767c1f5cef3242ff67473368e5ad327c340bfa;p=IRC.git

diff --git a/Robust/src/ClassLibrary/SSJavaInfer/String.java b/Robust/src/ClassLibrary/SSJavaInfer/String.java
index e2b6d7e4..fa036589 100644
--- a/Robust/src/ClassLibrary/SSJavaInfer/String.java
+++ b/Robust/src/ClassLibrary/SSJavaInfer/String.java
@@ -321,7 +321,7 @@ public class String {
       length = length + 1;
     } while (tmp != 0);
 
-    char chararray[];
+    char[] chararray;
     if (x < 0)
       chararray = new char[length + 1];
     else