X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FJavaNator%2FRCBridge.java;fp=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FJavaNator%2FRCBridge.java;h=28a23e9b24e5b38e400bcffeca30dc1bf22759bf;hp=fd60f3be8070eeccb0395a2119728602ec818001;hb=8642620b2e4b2c1c0e71d5612007a935abc42eb6;hpb=d45bb251bdc1196d7848094fa2ccd566b39e021c

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/RCBridge.java b/Robust/src/Benchmarks/SSJava/JavaNator/RCBridge.java
index fd60f3be..28a23e9b 100644
--- a/Robust/src/Benchmarks/SSJava/JavaNator/RCBridge.java
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/RCBridge.java
@@ -26,7 +26,7 @@
  * @author Michael Gesundheit
  * @version 1.0
  */
-@METHODDEFAULT("IN")
+@METHODDEFAULT("IN,THISLOC=IN")
 public class RCBridge {
 
   public void setManualMode() {