fix(solver/config.cc): Remove redundant redeclaration for C++17

dreal · Mar 19, 2020 · 438c4b6 · 438c4b6
1 parent 4f2940e
commit 438c4b6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dreal/solver/config.cc b/dreal/solver/config.cc
@@ -9,11 +9,13 @@ namespace dreal {
 
 using std::ostream;
 
+#if __cplusplus < 201703L
 constexpr double Config::kDefaultPrecision;
 constexpr double Config::kDefaultNloptFtolRel;
 constexpr double Config::kDefaultNloptFtolAbs;
 constexpr int Config::kDefaultNloptMaxEval;
 constexpr double Config::kDefaultNloptMaxTime;
+#endif
 
 double Config::precision() const { return precision_.get(); }
 OptionValue<double>& Config::mutable_precision() { return precision_; }