more changes to pass the flow-down rule

[IRC.git] / Robust / src / ClassLibrary / SSJava / Object.java

diff --git a/Robust/src/ClassLibrary/SSJava/Object.java b/Robust/src/ClassLibrary/SSJava/Object.java
index 4bc8ac35c6f62e4f2ceafe136d32ece086509066..8e128c522a42639c0267bb382c0d40d022808c9d 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/Object.java
+++ b/Robust/src/ClassLibrary/SSJava/Object.java
@@ -1,7 +1,7 @@
 import String;
 
 @LATTICE("")
-@METHODDEFAULT("TH<IN,THISLOC=IN")
+@METHODDEFAULT("TH<IN,THISLOC=IN,GLOBALLOC=TH")
 public class Object {
 
   @RETURNLOC("TH")