fix restopring from gfull saved states.

This commit is contained in:
Vítor Santos Costa 2010-11-26 18:02:44 +00:00
父節點 31d0969585
當前提交 89280493d0
共有 2 個文件被更改,包括 4 次插入4 次删除

查看文件

@ -1808,8 +1808,8 @@ p_restore(void)
void
Yap_InitSavePreds(void)
{
Yap_InitCPred("$save", 1, p_save, SafePredFlag|SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$save", 2, p_save2, SafePredFlag|SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$save_program", 1, p_save_program, SafePredFlag|SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$save", 1, p_save, SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$save", 2, p_save2, SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$save_program", 1, p_save_program, SyncPredFlag|HiddenPredFlag);
Yap_InitCPred("$restore", 1, p_restore, SyncPredFlag|HiddenPredFlag);
}

查看文件

@ -732,7 +732,7 @@ main (int argc, char **argv)
exit(1);
}
/* Begin preprocessor code */
{
if (BootMode != YAP_BOOT_FROM_SAVED_STACKS) {
// load the module
YAP_Term mod_arg[1];
mod_arg[0] = YAP_MkAtomTerm(YAP_LookupAtom("ypp"));