mp3decoder finally passes the flow-down rule checking.

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

diff --git a/Robust/src/Tests/virtualcalltest.java b/Robust/src/Tests/virtualcalltest.java
index 0996eef54f71d13cdd89b02ae281118c61458b8b..1b034ad220ea56321670709149533e0471454d5b 100644 (file)
--- a/Robust/src/Tests/virtualcalltest.java
+++ b/Robust/src/Tests/virtualcalltest.java
@@ -30,7 +30,7 @@ class C extends A {
 }
 
 public class virtualcalltest {
-    public static void main() {
+    public static void main(String str[]) {
 
        A a=null;
        B b=new B();