From 470dc4dc96264f43b02257898c104f9616de0092 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 22:39:20 +0000
Subject: [PATCH] add new print command

---
 Robust/src/ClassLibrary/System.java | 5 +++++
 1 file changed, 5 insertions(+)

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");
   }
-- 
2.34.1