Updating shared values

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

diff --git a/Robust/src/ClassLibrary/SSJava/System.java b/Robust/src/ClassLibrary/SSJava/System.java
index 472542ef54558dab03e9fe65ee460702d0334c9c..4c773f08c887e8b675404a7d67cdd1cb57797990 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/System.java
+++ b/Robust/src/ClassLibrary/SSJava/System.java
@@ -1,3 +1,5 @@
+@LATTICE("")
+@METHODDEFAULT("OUT<IN")
 public class System {
   public static void printInt(int x) {
     String s = String.valueOf(x);
@@ -14,7 +16,7 @@ public class System {
 
   public static native void printString(String s);
 
-  public static void println(String s) {
+    public static void println(@LOC("IN") String s) {
     System.printString(s + "\n");
   }