From: yeom <yeom>
Date: Sat, 5 Nov 2011 19:22:26 +0000 (+0000)
Subject: fix: the callee can return only its owned obj
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d63df77a09ef206188b2f97a6c8d9de1aef0e72c;p=IRC.git

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 4b7fc10d..9af4e56f 100644
--- 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")