diff --git a/C/dbase.c b/C/dbase.c index eee3a3baf..77f55cb92 100644 --- a/C/dbase.c +++ b/C/dbase.c @@ -696,8 +696,8 @@ static CELL *MkDBTerm(register CELL *pt0, register CELL *pt0_end, continue; } case (CELL)FunctorLongInt: - *StoPoint++ = AbsAppl(CodeMax); CheckDBOverflow(3); + *StoPoint++ = AbsAppl(CodeMax); CodeMax = copy_long_int(CodeMax, ap2); ++pt0; continue;