From 7d205f1cf0c7a6bb990302e4b3c880cabf21a0f3 Mon Sep 17 00:00:00 2001 From: Johannes Kanig Date: Mon, 9 Nov 2020 13:47:25 +0900 Subject: [PATCH] TB08-009 fix z3 build on windows (#4782) It seems that VS 15.0 doesn't like this usage of "enum" Change-Id: Ie7eba81ad9fd990aa436d323dc848d1b0f2c4370 --- src/sat/sat_types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_types.h b/src/sat/sat_types.h index fef9d74f1..887d09e0b 100644 --- a/src/sat/sat_types.h +++ b/src/sat/sat_types.h @@ -259,7 +259,7 @@ namespace sat { st m_st; int m_orig; public: - status(enum st s, int o) : m_st(s), m_orig(o) {}; + status(st s, int o) : m_st(s), m_orig(o) {}; status(status const& s) : m_st(s.m_st), m_orig(s.m_orig) {} status(status&& s) noexcept { m_st = st::asserted; m_orig = -1; std::swap(m_st, s.m_st); std::swap(m_orig, s.m_orig); } status& operator=(status const& other) { m_st = other.m_st; m_orig = other.m_orig; return *this; }