From: bdemsky <bdemsky>
Date: Tue, 24 Oct 2006 22:52:29 +0000 (+0000)
Subject: fixed broken method signatures
X-Git-Tag: preEdgeChange~810
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1b4d4734248e877c4d90afd767d365088a273ac3;p=IRC.git

fixed broken method signatures
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 7393e7e4..ea1bc291 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -387,7 +387,7 @@ int ___ServerSocket______nativeaccept____L___Socket___(struct ___ServerSocket___
 }
 
 
-void ___Socket______nativeWrite_____AR_C(struct ___Socket___ * sock, struct ArrayObject * ao) {
+void ___Socket______nativeWrite_____AR_B(struct ___Socket___ * sock, struct ArrayObject * ao) {
   int fd=sock->___fd___;
   int length=ao->___length___;
   char * charstr=((char *)& ao->___length___)+sizeof(int);
@@ -398,7 +398,7 @@ void ___Socket______nativeWrite_____AR_C(struct ___Socket___ * sock, struct Arra
   flagorand(sock,0,0xFFFFFFFE);
 }
 
-int ___Socket______nativeRead_____AR_C(struct ___Socket___ * sock, struct ArrayObject * ao) {
+int ___Socket______nativeRead_____AR_B(struct ___Socket___ * sock, struct ArrayObject * ao) {
   int fd=sock->___fd___;
   int length=ao->___length___;
   char * charstr=((char *)& ao->___length___)+sizeof(int);