From: bdemsky <bdemsky>
Date: Tue, 4 Apr 2006 22:15:20 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: preEdgeChange~947
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=973a6f9337ee3b320c6751187ccad4692f011d61;p=IRC.git

*** empty log message ***
---

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
new file mode 100644
index 00000000..96552e0e
--- /dev/null
+++ b/Robust/src/Runtime/runtime.h
@@ -0,0 +1,7 @@
+#ifndef RUNTIME
+#define RUNTIME
+#include<stdlib.h>
+#include<stdio.h>
+void * allocate_new(int type);
+
+#endif