From b79b4c08a94cd2ed69f08e1f3db77aacdf87b9b0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 14 Dec 2006 22:00:00 +0000
Subject: [PATCH] typo

---
 Robust/src/Runtime/runtime.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index 13b2f3df..03f0ddb5 100644
--- a/Robust/src/Runtime/runtime.h
+++ b/Robust/src/Runtime/runtime.h
@@ -10,7 +10,7 @@ void * allocate_new(void *, int type);
 struct ArrayObject * allocate_newarray(void *, int type, int length);
 struct ___String___ * NewString(void *, const char *str,int length);
 #else
-void * allocate_new(struct int type);
+void * allocate_new(int type);
 struct ArrayObject * allocate_newarray(int type, int length);
 struct ___String___ * NewString(const char *str,int length);
 #endif
-- 
2.34.1