diff --git a/src/qe/qe_mbi.cpp b/src/qe/qe_mbi.cpp
index 3619b0130..f7c50e4c9 100644
--- a/src/qe/qe_mbi.cpp
+++ b/src/qe/qe_mbi.cpp
@@ -377,11 +377,7 @@ namespace qe {
         for (auto const& def : defs) {
             expr_safe_replace rep(m);
             rep.insert(def.var, def.term);
-            for (unsigned j = 0; j < lits.size(); ++j) {
-                expr_ref tmp(m);
-                rep(lits.get(j), tmp);
-                lits[j] = tmp;
-            }
+            rep(lits);
         }
     }