From aeac0b46a017c691b2f73fdf8eaba13f39e93859 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 14 Jul 2020 12:26:49 +0100
Subject: [PATCH] remove copy

---
 src/smt/seq_ne_solver.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/smt/seq_ne_solver.cpp b/src/smt/seq_ne_solver.cpp
index 53dc9f322..e26ed8a5b 100644
--- a/src/smt/seq_ne_solver.cpp
+++ b/src/smt/seq_ne_solver.cpp
@@ -224,10 +224,8 @@ bool theory_seq::reduce_ne(unsigned idx) {
     TRACE("seq", display_disequation(tout << "updated: " << updated << "\n", n););
 
     if (updated) {
-        auto new_n(ne(n.l(), n.r(), new_eqs, new_lits, new_deps));
-        m_nqs.set(idx, new_n);
+        m_nqs.set(idx, ne(n.l(), n.r(), new_eqs, new_lits, new_deps));
         TRACE("seq", display_disequation(tout << "updated:\n", m_nqs[idx]););
-        TRACE("seq", display_disequation(tout << "updated:\n", new_n););
     }
     return false;
 }