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

diff --git a/Robust/src/Runtime/chash.c b/Robust/src/Runtime/chash.c
index 7c8d5c7d..ecc109a3 100644
--- a/Robust/src/Runtime/chash.c
+++ b/Robust/src/Runtime/chash.c
@@ -164,9 +164,9 @@ void cDelete(ctable_t *ctable) {
   cnode_t *ptr, *curr, *next;
   ptr = ctable->table;
 
-  for(i=0 ; i<ctable->size ; i++) {
+  for(i=0; i<ctable->size; i++) {
     curr = &ptr[i];
-    isFirst = 1 ;
+    isFirst = 1;
     while(curr  != NULL) {
       next = curr->next;
       if(isFirst != 1) {