passes 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 8e128c522a42639c0267bb382c0d40d022808c9d..f399e89a34b3be2cd880127ee2f640890d91a957 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/Object.java
+++ b/Robust/src/ClassLibrary/SSJava/Object.java
@@ -17,6 +17,7 @@ public class Object {
     return false;
   }
 
+  @TRUST
   @RETURNLOC("TH")
   public String toString() {
     return "Object" + hashCode();