diff --git a/C/index.c b/C/index.c index 92e22ec60..db02e1eff 100644 --- a/C/index.c +++ b/C/index.c @@ -2515,7 +2515,7 @@ suspend_indexing(ClauseDef *min, ClauseDef *max, PredEntry *ap, struct intermedi } else { tels = cls; } - sz = (UInt)NEXTOP((yamop *)NULL,sssllp)+tels*sizeof(yamop *), sz; + sz = (UInt)NEXTOP((yamop *)NULL,sssllp)+tels*sizeof(yamop *); if ((ncode = (yamop *)Yap_AllocCodeSpace(sz)) == NULL) { save_machine_regs(); longjmp(cint->CompilerBotch, 2);