From 122f5a14648a83d475e3e4bb4349fa6a44dbe035 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sun, 12 Jul 2020 23:12:00 +0100
Subject: [PATCH] remove unused field

---
 src/ast/rewriter/seq_rewriter.cpp | 1 -
 src/ast/rewriter/seq_rewriter.h   | 1 -
 src/util/util.h                   | 4 ++++
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index 446195896..5e41a704f 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -4081,7 +4081,6 @@ bool seq_rewriter::reduce_subsequence(expr_ref_vector& ls, expr_ref_vector& rs,
 } 
 
 seq_rewriter::op_cache::op_cache(ast_manager& m):
-    m(m),
     m_trail(m)
 {}
 
diff --git a/src/ast/rewriter/seq_rewriter.h b/src/ast/rewriter/seq_rewriter.h
index 30b2b5ce8..6435143b7 100644
--- a/src/ast/rewriter/seq_rewriter.h
+++ b/src/ast/rewriter/seq_rewriter.h
@@ -137,7 +137,6 @@ class seq_rewriter {
 
         typedef hashtable<op_entry, hash_entry, eq_entry> op_table;
 
-        ast_manager&    m;
         unsigned        m_max_cache_size { 10000 };
         expr_ref_vector m_trail;
         op_table        m_table;
diff --git a/src/util/util.h b/src/util/util.h
index c0dd51d81..3470f59c0 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -233,6 +233,10 @@ public:
         m_ptr(ptr) {
     }
 
+    scoped_ptr(scoped_ptr &&other) noexcept : m_ptr(nullptr) {
+        std::swap(m_ptr, other.m_ptr);
+    }
+
     ~scoped_ptr() {
         dealloc(m_ptr);
     }