diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c
index f54a39442..fd62ed9b8 100644
--- a/buddy/src/bddop.c
+++ b/buddy/src/bddop.c
@@ -2300,7 +2300,7 @@ RETURN  {* The quantified BDD. *}
 */
 BDD bdd_forall(BDD r, BDD var)
 {
-   return quantify(r, var, bddop_and, 0, CACHEID_EXIST);
+   return quantify(r, var, bddop_and, 0, CACHEID_FORALL);
 }
 
 /*
@@ -2315,7 +2315,7 @@ RETURN  {* The quantified BDD. *}
 */
 BDD bdd_forallcomp(BDD r, BDD var)
 {
-   return quantify(r, var, bddop_and, 1, CACHEID_EXISTC);
+   return quantify(r, var, bddop_and, 1, CACHEID_FORALLC);
 }