From 898e8009969e162939128b41ec2014d72ff25377 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Thu, 30 Jun 2011 22:28:31 +0000
Subject: [PATCH] add gc() to System

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

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