From: bdemsky <bdemsky>
Date: Mon, 31 Jul 2006 08:12:08 +0000 (+0000)
Subject: removed native method
X-Git-Tag: preEdgeChange~864
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=13bb26aaac120dd5116f88958c40e69fb6f2d7a2;p=IRC.git

removed native method
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index c70189cf..084469da 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -12,10 +12,6 @@ int ___Object______hashcode____(struct ___Object___ * ___this___) {
   return (int) ___this___;
 }
 
-/*void ___System______printInt____I(int x) {
-  printf("%d",x);
-  }*/
-
 void ___System______printString____L___String___(struct ___String___ * s) {
     struct ArrayObject * chararray=s->___string___;
     int i;