disable ground optimization: it is not supported by restore

This commit is contained in:
Vítor Santos Costa 2014-09-24 00:23:11 +01:00
parent 66a95e96c0
commit 7c32ac6080

View File

@ -622,7 +622,7 @@ try_store_as_dbterm(Term t, Int argno, unsigned int arity, int level, compiler_s
LOCAL_Error_Size = 0;
siglongjmp(cglobs->cint.CompilerBotch, OUT_OF_AUX_BOTCH);
}
if (g < 16)
// if (g < 16)
return FALSE;
/* store ground term away */
HR = CellPtr(cglobs->cint.freep);