From 973a6f9337ee3b320c6751187ccad4692f011d61 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 4 Apr 2006 22:15:20 +0000
Subject: [PATCH] *** empty log message ***

---
 Robust/src/Runtime/runtime.h | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Robust/src/Runtime/runtime.h

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
-- 
2.34.1