diff --git a/H/rheap.h b/H/rheap.h index a5945bd77..d7e838dbe 100644 --- a/H/rheap.h +++ b/H/rheap.h @@ -1471,6 +1471,10 @@ RestoreEntries(PropEntry *pp, int int_key) pp->NextOfPE = PropAdjust(pp->NextOfPE); break; + case WideAtomProperty: + pp->NextOfPE = + PropAdjust(pp->NextOfPE); + break; default: /* OOPS */ Yap_Error(SYSTEM_ERROR, TermNil,