From: bdemsky <bdemsky>
Date: Wed, 5 Apr 2006 22:09:52 +0000 (+0000)
Subject: Runtime code
X-Git-Tag: preEdgeChange~938
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=70b850cf551e8d8cb287a8b0e2d93c204f26b3e4;p=IRC.git

Runtime code
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
new file mode 100644
index 00000000..6dca89fd
--- /dev/null
+++ b/Robust/src/Runtime/runtime.c
@@ -0,0 +1,10 @@
+#include "runtime.h"
+#include "structdefs.h"
+
+int ___Object______hashcode____(struct ___Object___ * ___this___) {
+  return (int) ___this___;
+}
+
+void ___System______printInt____I(int x) {
+  printf("%d\n",x);
+}