From 004d774735c0e9eed4fb94134b14604962f03879 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 01:55:01 +0000
Subject: [PATCH] change

---
 Robust/src/Runtime/runtime.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 43db3b57..c28d9cbf 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -200,7 +200,7 @@ struct ArrayObject * allocate_newarray(void * ptr, int type, int length) {
 }
 
 #else
-__attribute__(malloc) void * allocate_new(int type) {
+__attribute__((malloc)) void * allocate_new(int type) {
   struct ___Object___ * v=FREEMALLOC(classsize[type]);
   v->type=type;
 #ifdef OPTIONAL
@@ -211,7 +211,7 @@ __attribute__(malloc) void * allocate_new(int type) {
 
 /* Array allocation function */
 
-__attribute__(malloc) struct ArrayObject * allocate_newarray(int type, int length) {
+__attribute__((malloc)) struct ArrayObject * allocate_newarray(int type, int length) {
   struct ArrayObject * v=FREEMALLOC(sizeof(struct ArrayObject)+length*classsize[type]);
   v->type=type;
   v->___length___=length;
@@ -227,7 +227,7 @@ __attribute__(malloc) struct ArrayObject * allocate_newarray(int type, int lengt
 #ifdef PRECISE_GC
 struct ___String___ * NewString(void * ptr, const char *str,int length) {
 #else
-  __attribute__(malloc) struct ___String___ * NewString(const char *str,int length) {
+  __attribute__((malloc)) struct ___String___ * NewString(const char *str,int length) {
 #endif
   int i;
 #ifdef PRECISE_GC
-- 
2.34.1