small typo

diff --git a/Robust/src/Runtime/checkpoint.c b/Robust/src/Runtime/checkpoint.c
index 353c5b668bd0b3829e9152fdc37100bdceb44e00..351f9ad737a96c553c2d1d840b078d2c3ead8b58 100644 (file)
--- a/Robust/src/Runtime/checkpoint.c
+++ b/Robust/src/Runtime/checkpoint.c
@@ -60,7 +60,7 @@ void ** makecheckpoint(int numparams, void ** srcpointer, struct SimpleHash * fo
            SimpleHashadd(forward, (int) objptr, (int) copy);
            SimpleHashadd(reverse, (int) copy, (int) objptr);
            SimpleHashadd(todo, (int) objptr, (int) objptr);
-           *((void **) ((int)cpy)+offset)=copy;
+           *((void **) (((int)cpy)+offset))=copy;
          }
        }
       }

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 610160946fc82f30fdaae6356b426fd0d9a8ff33..e474bd17e4cf0f95ccd1447c0d40ae18efb6d0a1 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -24,6 +24,8 @@ struct parameterwrapper * objectqueues[NUMCLASSES];
 struct genhashtable * failedtasks;
 
 int main(int argc, char **argv) {
+  GC_init();
+  {
   int i;
   /* Allocate startup object */
   struct ___StartupObject___ *startupobject=(struct ___StartupObject___*) allocate_new(STARTUPTYPE);
@@ -47,6 +49,7 @@ int main(int argc, char **argv) {
     ((void **)(((char *)& stringarray->___length___)+sizeof(int)))[i]=newstring;
   }
   executetasks();
+  }
 }
 
 int hashCodetpd(struct taskparamdescriptor *ftd) {