From 7aaaddc2eb8224a867df399aaf2c9cd072021b51 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Thu, 4 Sep 2008 07:10:56 +0000 Subject: [PATCH] nasty bug --- Robust/src/Runtime/task.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Robust/src/Runtime/task.c b/Robust/src/Runtime/task.c index fc2ad5fd..52f8bcb0 100644 --- a/Robust/src/Runtime/task.c +++ b/Robust/src/Runtime/task.c @@ -770,8 +770,8 @@ void enqueueoptional(struct ___Object___ * currobj, int numfailedfses, int * fai totallength+=otd->numenterflags; //1 is to store the lengths } pw=currtask->descriptorarray[currindex]->queue; - enterflags=RUNMALLOC((totallength+numenterflags)*sizeof(int)); numenterflags=j-start; + enterflags=RUNMALLOC((totallength+numenterflags)*sizeof(int)); offset=0; for(start; start