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

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