fix: the callee can return only its owned obj

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java b/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
index 4b7fc10d89f6493e75aa5f8f7c54aee67733c963..9af4e56f74a62949fe897c708d1caf6c3f1df28b 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
@@ -56,7 +56,7 @@ public class LEAImplementation {
     }
     System.out.println("eyePosition=" + eyePosition);
 
-    return new FaceAndEyePosition(lastRectangle, eyePosition);
+    return new FaceAndEyePosition(faceRect, eyePosition);
   }
 
   @LATTICE("OUT<IN,OUT<THIS,THISLOC=THIS,RETURNLOC=OUT")