From 94d2a16282d5e937f1df44ab2faf6d808b707449 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 13 Jun 2019 16:01:11 +0100
Subject: [PATCH] fix bug with use-after-move

---
 src/ast/substitution/substitution.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/substitution/substitution.cpp b/src/ast/substitution/substitution.cpp
index e16fdf3dd..065a89fd9 100644
--- a/src/ast/substitution/substitution.cpp
+++ b/src/ast/substitution/substitution.cpp
@@ -205,8 +205,8 @@ void substitution::apply(unsigned num_actual_offsets, unsigned const * deltas, e
             subst.apply(num_actual_offsets, deltas, body, s1, t1, er);
             er = m_manager.update_quantifier(q, pats.size(), pats.c_ptr(), no_pats.size(), no_pats.c_ptr(), er);
             m_todo.pop_back();
+            m_apply_cache.insert(n, er);
             m_new_exprs.push_back(std::move(er));
-            m_apply_cache.insert(n, er);            
             break;
         }            
         default: