From d1c13f17b0922fa53f5d42adc847877de0b48a28 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Fri, 13 Oct 2017 01:07:04 +0100
Subject: [PATCH] remove noexcept since MSVC 2012 doest support it

---
 src/ast/ast.h                    | 2 +-
 src/math/simplex/sparse_matrix.h | 2 +-
 src/util/mpq.h                   | 2 +-
 src/util/mpz.h                   | 2 +-
 src/util/vector.h                | 6 +++---
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/ast/ast.h b/src/ast/ast.h
index 54f8f5e62..7e1645753 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -121,7 +121,7 @@ public:
     explicit parameter(unsigned ext_id, bool):m_kind(PARAM_EXTERNAL), m_ext_id(ext_id) {}
     parameter(parameter const&);
 
-    parameter(parameter && other) noexcept : m_kind(other.m_kind) {
+    parameter(parameter && other) : m_kind(other.m_kind) {
         switch (other.m_kind) {
         case PARAM_INT: m_int = other.get_int(); break;
         case PARAM_AST: m_ast = other.get_ast(); break;
diff --git a/src/math/simplex/sparse_matrix.h b/src/math/simplex/sparse_matrix.h
index 63bbe9e78..4edbb2b9d 100644
--- a/src/math/simplex/sparse_matrix.h
+++ b/src/math/simplex/sparse_matrix.h
@@ -35,7 +35,7 @@ namespace simplex {
         struct row_entry {
             numeral         m_coeff;
             var_t           m_var;
-            row_entry(numeral && c, var_t v) noexcept : m_coeff(std::move(c)), m_var(v) {}
+            row_entry(numeral && c, var_t v) : m_coeff(std::move(c)), m_var(v) {}
         };
 
     private:
diff --git a/src/util/mpq.h b/src/util/mpq.h
index b34e9afae..fd0ae13d4 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -31,7 +31,7 @@ class mpq {
 public:
     mpq(int v):m_num(v), m_den(1) {}
     mpq():m_den(1) {}
-    mpq(mpq && other) noexcept : m_num(std::move(other.m_num)), m_den(std::move(other.m_den)) {}
+    mpq(mpq && other) : m_num(std::move(other.m_num)), m_den(std::move(other.m_den)) {}
     void swap(mpq & other) { m_num.swap(other.m_num); m_den.swap(other.m_den); }
     mpz const & numerator() const { return m_num; }
     mpz const & denominator() const { return m_den; }
diff --git a/src/util/mpz.h b/src/util/mpz.h
index 9933e4485..f04430e17 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -94,7 +94,7 @@ class mpz {
 public:
     mpz(int v):m_val(v), m_ptr(0) {}
     mpz():m_val(0), m_ptr(0) {}
-    mpz(mpz && other) noexcept : m_val(other.m_val), m_ptr(0) {
+    mpz(mpz && other) : m_val(other.m_val), m_ptr(0) {
         std::swap(m_ptr, other.m_ptr);
     }
     void swap(mpz & other) { 
diff --git a/src/util/vector.h b/src/util/vector.h
index 03c450660..a925792eb 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -165,7 +165,7 @@ public:
         SASSERT(size() == source.size());
     }
 
-    vector(vector&& other) noexcept : m_data(0) {
+    vector(vector&& other) : m_data(0) {
         std::swap(m_data, other.m_data);
     }
 
@@ -517,7 +517,7 @@ public:
     ptr_vector(unsigned s):vector<T *, false>(s) {}
     ptr_vector(unsigned s, T * elem):vector<T *, false>(s, elem) {}
     ptr_vector(ptr_vector const & source):vector<T *, false>(source) {}
-    ptr_vector(ptr_vector && other) noexcept : vector<T*, false>(std::move(other)) {}
+    ptr_vector(ptr_vector && other) : vector<T*, false>(std::move(other)) {}
     ptr_vector(unsigned s, T * const * data):vector<T *, false>(s, const_cast<T**>(data)) {}
     ptr_vector & operator=(ptr_vector const & source) {
         vector<T *, false>::operator=(source);
@@ -532,7 +532,7 @@ public:
     svector(SZ s):vector<T, false, SZ>(s) {}
     svector(SZ s, T const & elem):vector<T, false, SZ>(s, elem) {}
     svector(svector const & source):vector<T, false, SZ>(source) {}
-    svector(svector && other) noexcept : vector<T, false, SZ>(std::move(other)) {}
+    svector(svector && other) : vector<T, false, SZ>(std::move(other)) {}
     svector(SZ s, T const * data):vector<T, false, SZ>(s, data) {}
     svector & operator=(svector const & source) {
         vector<T, false, SZ>::operator=(source);