From 82b25a0608d55616c2df365b7af19f4e21a0bd9c Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sun, 15 Oct 2017 05:31:28 +0100
Subject: [PATCH] add move constructor to watch_list

---
 src/smt/watch_list.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/smt/watch_list.h b/src/smt/watch_list.h
index 19d3f20a8..1cc29da5a 100644
--- a/src/smt/watch_list.h
+++ b/src/smt/watch_list.h
@@ -85,6 +85,10 @@ namespace smt {
         watch_list():
             m_data(0) {
         }
+
+        watch_list(watch_list && other) : m_data(0) {
+            std::swap(m_data, other.m_data);
+        }
         
         ~watch_list() {
             destroy();