X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Ffile.c;h=76c7f0934b339c9cd58f788e8a0f68dc143856a9;hp=7dbd8de9fcb293104315a819b88d01be9f10542a;hb=eb17be02c22191b3fc7bdc335d9434ada68278de;hpb=c94e3d181dec110fc0bd7071a555631cd2a3863d

diff --git a/Robust/src/Runtime/file.c b/Robust/src/Runtime/file.c
index 7dbd8de9..76c7f093 100644
--- a/Robust/src/Runtime/file.c
+++ b/Robust/src/Runtime/file.c
@@ -55,7 +55,7 @@ int CALL01(___FileOutputStream______nativeOpen_____AR_B, struct ArrayObject * __
 int CALL01(___FileOutputStream______nativeAppend_____AR_B, struct ArrayObject * ___filename___) {
 #ifdef MULTICORE
   return 0;
-#else  
+#else
   int length=VAR(___filename___)->___length___;
   char* filename= (((char *)&VAR(___filename___)->___length___)+sizeof(int));
   int fd=open(filename, O_WRONLY|O_CREAT|O_APPEND, S_IRWXU);