changes + bring up uncommited previous changes.

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

diff --git a/Robust/src/ClassLibrary/SSJavaInfer/Object.java b/Robust/src/ClassLibrary/SSJavaInfer/Object.java
index f9531aa3f56ca3bbf083baf55ca20e11bf6bb782..c65dbe559fb9397f50e7a140f27e2d6a9f4bc903 100644 (file)
--- a/Robust/src/ClassLibrary/SSJavaInfer/Object.java
+++ b/Robust/src/ClassLibrary/SSJavaInfer/Object.java
@@ -14,9 +14,10 @@ public class Object {
     return false;
   }
 
-  @TRUST
+//  @TRUST
   public String toString() {
-    return "Object" + hashCode();
+//    return "Object" + hashCode();
+    return "o";
   }
 
 }