more changes to pass the flow-down rule

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

diff --git a/Robust/src/ClassLibrary/SSJava/Long.java b/Robust/src/ClassLibrary/SSJava/Long.java
index 49afdba55e7292e648109df458990d84fcb2c5be..b3430154e3a969ef1428190c764aac04a48bc9f5 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/Long.java
+++ b/Robust/src/ClassLibrary/SSJava/Long.java
@@ -56,7 +56,7 @@ exception statement from your version. */
  * @status updated to 1.5
  */
 @LATTICE("V<C, V<O")
-@METHODDEFAULT("O<V,V<C,C<IN,C*,THISLOC=IN,RETURNLOC=O")
+@METHODDEFAULT("O<V,V<C,C<IN,THISLOC=IN,C*,GLOBALLOC=V,RETURNLOC=V")
 public final class Long //extends Number implements Comparable<Long>
 {
   /**