fixed another problem of the flow-down check. If an assignment statement has OP+EQ...

[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTracking / Classifier.java

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java b/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
index f5a3c6deba751655f6d1c181570b13522aa5c618..ec19504c828db073bc1948cb1e750b8c85bd5ad5 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
@@ -74,7 +74,7 @@ public class Classifier {
    * @param translationY
    * @return true if this region was classified as face, else false
    */
-  @LATTICE("OUT<V,V<C,C<THIS,THIS<IN,C*,V*,THISLOC=THIS,RETURNLOC=OUT")
+  @LATTICE("OUT<V,V<C,C<THIS,THIS<IN,C*,V*,OUT*,THISLOC=THIS,RETURNLOC=OUT")
   @PCLOC("THIS,Classifier.C")
   public boolean classifyFace(@LOC("THIS,Classifier.C") IntegralImageData image,
       @LOC("THIS,Classifier.C") float scaleFactor, @LOC("THIS,Classifier.C") int translationX,