having a location namespace. location names appeared in field lattice declaration...

[IRC.git] / Robust / src / Tests / Array2.java

diff --git a/Robust/src/Tests/Array2.java b/Robust/src/Tests/Array2.java
index 37b0a273b0edd7f42bb3880628bbd723aff441fb..f7b69d47542f74f0cc97d08c7380b4b41b3192fc 100644 (file)
--- a/Robust/src/Tests/Array2.java
+++ b/Robust/src/Tests/Array2.java
@@ -1,6 +1,6 @@
 public class Array2 {
     int a;
-    public static void main() {
+    public static void main(String str[]) {
        int a[][]=new int[10][20];
        for(int i=0;i<10;i++) {
            for(int j=0;j<20;j++) {