Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...

[jpf-core.git] / examples / Empty.groovy

diff --git a/examples/Empty.groovy b/examples/Empty.groovy
index b52e40db5e6f05549fdb65964ef6d74a2cf0029e..03a71018a16fc6540d67ccaf4b8537f0e03d6c2d 100644 (file)
--- a/examples/Empty.groovy
+++ b/examples/Empty.groovy
@@ -22,10 +22,10 @@ class Empty {
 
        static void main(String[] args) {               
 
 
        static void main(String[] args) {               
 

-               Empty emp = new Empty();
+               Empty empty = new Empty();

                //int result = emp.installed();
                //println result;
                //int result = emp.installed();
                //println result;

-               emp.installed()
+               empty.installed()

                int x = 5;
                int y = 6;
                int result = x + y;
                int x = 5;
                int y = 6;
                int result = x + y;