From 0628711c4a888048e68501530f8b3a35b7ee5fcf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Dec 2018 12:18:29 +0800
Subject: [PATCH] simplify

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qe_mbi.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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);
         }
     }