Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...
[jpf-core.git] / examples / Empty.groovy
index b52e40d..03a7101 100644 (file)
@@ -22,10 +22,10 @@ class Empty {
 
        static void main(String[] args) {               
 
-               Empty emp = new Empty();
+               Empty empty = new Empty();
                //int result = emp.installed();
                //println result;
-               emp.installed()
+               empty.installed()
                int x = 5;
                int y = 6;
                int result = x + y;