From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 22:39:20 +0000 (+0000)
Subject: add new print command
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=470dc4dc96264f43b02257898c104f9616de0092;p=IRC.git

add new print command
---

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index 7dadfe2e..dc6c9a9b 100644
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -8,6 +8,11 @@ public class System {
 
   public static native void printString(String s);
 
+  public static void println(String s) {
+    System.printString(s);
+    System.printString("\n");
+  }
+
   public static void error() {
     System.printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
   }