fix storage computing for big nums.wq

This commit is contained in:
Vítor Santos Costa 2011-06-21 15:07:54 +01:00
parent 23a1a3fe39
commit f6133f70b1
1 changed files with 1 additions and 1 deletions

View File

@ -691,7 +691,7 @@ c_arg(Int argno, Term t, unsigned int arity, unsigned int level, compiler_struct
CELL l1 = ++cglobs->labelno;
CELL *src = RepAppl(t);
PInstr *ocpc = cglobs->cint.cpc, *OCodeStart = cglobs->cint.CodeStart;
Int sz = 2*sizeof(CELL)+
Int sz = 2*sizeof(CELL)+sizeof(Functor)+
sizeof(MP_INT)+
((((MP_INT *)(RepAppl(t)+2))->_mp_alloc)*sizeof(mp_limb_t));
CELL *dest;