add noexcept to move constructors
MODIFY
smt/expr.h
smt/expr.h
@@ -71,7 +71,7 @@ class expr {
public:
expr() : ptr(0) {}
- expr(expr &&other) : ptr(0) {
+ expr(expr &&other) noexcept : ptr(0) {
std::swap(ptr, other.ptr);
}

MODIFY
smt/solver.h
smt/solver.h
@@ -26,7 +26,7 @@ class Model {
friend class Result;
public:
- Model(Model &&other) : m(0) {
+ Model(Model &&other) noexcept : m(0) {
std::swap(other.m, m);
}

add noexcept to move constructors (#663)