From 047e75b485ad16a729083c210ba4064943d2e7c5 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 7 Aug 2018 23:24:07 -0700 Subject: Require Swig 3 (#2283) Removes some hacks due to Swig 2's incomplete C++11 support and adds checks for version 3 at configuration time as well as in swig.h --- src/theory/arith/dual_simplex.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/theory/arith/dual_simplex.cpp') diff --git a/src/theory/arith/dual_simplex.cpp b/src/theory/arith/dual_simplex.cpp index 1f855b1dd..c2b95890a 100644 --- a/src/theory/arith/dual_simplex.cpp +++ b/src/theory/arith/dual_simplex.cpp @@ -17,7 +17,6 @@ #include "theory/arith/dual_simplex.h" #include "base/output.h" -#include "base/tls.h" #include "options/arith_options.h" #include "smt/smt_statistics_registry.h" #include "theory/arith/constraint.h" @@ -63,7 +62,7 @@ DualSimplexDecisionProcedure::Statistics::~Statistics(){ Result::Sat DualSimplexDecisionProcedure::dualFindModel(bool exactResult){ Assert(d_conflictVariables.empty()); - static CVC4_THREAD_LOCAL unsigned int instance = 0; + static thread_local unsigned int instance = 0; instance = instance + 1; d_pivots = 0; -- cgit v1.2.3