diff --git a/H/rheap.h b/H/rheap.h index f54a53975..e2b590dc5 100755 --- a/H/rheap.h +++ b/H/rheap.h @@ -1527,6 +1527,8 @@ RestoreEntries(PropEntry *pp, int int_key) opp->NextOfPE = PropAdjust(opp->NextOfPE); } + opp->OpName = + AtomAdjust(opp->OpName); if (opp->OpModule) { opp->OpModule = AtomTermAdjust(opp->OpModule); }