mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 20:31:21 +00:00
Code Activity

add move constructor to watch_list

Browse source
This commit is contained in:
Nuno Lopes 2017-10-15 05:31:28 +01:00
parent d18e975a49
commit 82b25a0608
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/watch_list.h
View file

@ -85,6 +85,10 @@ namespace smt {
watch_list(): watch_list():
m_data(0) { m_data(0) {
} }
watch_list(watch_list && other) : m_data(0) {
std::swap(m_data, other.m_data);
}
~watch_list() { ~watch_list() {
destroy(); destroy();