From: jzhou <jzhou>
Date: Thu, 30 Jun 2011 22:28:31 +0000 (+0000)
Subject: add gc() to System
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=898e8009969e162939128b41ec2014d72ff25377;p=IRC.git

add gc() to System
---

diff --git a/Robust/src/ClassLibrary/MGC/System.java b/Robust/src/ClassLibrary/MGC/System.java
index 32b69437..f97a25a5 100644
--- a/Robust/src/ClassLibrary/MGC/System.java
+++ b/Robust/src/ClassLibrary/MGC/System.java
@@ -22,6 +22,8 @@ public class System {
   public static native long getticks();
 
   public static native void printString(String s);
+  
+  public static native void gc();
 
   public static void println(String s) {
     System.printString(s+"\n");