changes: now Inference engine works fine with the EyeTracking benchmark.

[IRC.git] / Robust / src / ClassLibrary / SSJavaInfer / String.java

diff --git a/Robust/src/ClassLibrary/SSJavaInfer/String.java b/Robust/src/ClassLibrary/SSJavaInfer/String.java
index e2b6d7e49bbbe87d1c8c4b641676104f7e808e0a..fa0365895b72da616c20afde01fe22c9b25d06e0 100644 (file)
--- 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);
 
       length = length + 1;
     } while (tmp != 0);
 

-    char chararray[];
+    char[] chararray;

     if (x < 0)
       chararray = new char[length + 1];
     else
     if (x < 0)
       chararray = new char[length + 1];
     else