diff --git a/C/cdmgr.c b/C/cdmgr.c
index 6a538c696..e5d63d312 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -11,8 +11,11 @@
 * File:		cdmgr.c							 *
 * comments:	Code manager						 *
 *									 *
-* Last rev:     $Date: 2004-09-07 16:25:22 $,$Author: vsc $						 *
+* Last rev:     $Date: 2004-09-07 16:48:04 $,$Author: vsc $						 *
 * $Log: not supported by cvs2svn $
+* Revision 1.129  2004/09/07 16:25:22  vsc
+* memory management bug fixes
+*
 * Revision 1.128  2004/09/03 03:11:07  vsc
 * memory management fixes
 *
@@ -2808,7 +2811,6 @@ PredForCode(yamop *codeptr, Atom *pat, UInt *parity, Term *pmodule) {
   for (i_table = 0; i_table < NoOfModules; i_table++) {
 
     PredEntry *pp;
-  restart:
     pp = ModulePred[i_table];
     while (pp != NULL) {
       if ((found = code_in_pred(pp,  pat, parity, codeptr)) != 0) {
diff --git a/H/amiops.h b/H/amiops.h
index 5cfa01d42..5c3d808a5 100644
--- a/H/amiops.h
+++ b/H/amiops.h
@@ -392,12 +392,12 @@ Int Yap_unify(Term t0, Term t1)
 	  /* AbsAppl means */
 	  /* multi-assignment variable */
 	  /* so the next cell is the old value */ 
-	  TR--;
 #if FROZEN_STACKS
-	  pt[0] = TrailVal(TR);
+	  pt[0] = TrailVal(TR-1);
 #else
-	  pt[0] = TrailTerm(TR);
+	  pt[0] = TrailTerm(TR-1);
 #endif /* FROZEN_STACKS */
+	  TR -= 2;
       }
 #endif
     }