*** empty log message ***

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
new file mode 100644 (file)
index 0000000..96552e0
--- /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