diff options
author | Gael Guennebaud <g.gael@free.fr> | 2019-03-05 23:46:24 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2019-03-05 23:46:24 +0100 |
commit | bfbf7da0478afe75e19a953f0925bbd492bcd427 (patch) | |
tree | 2b6a1c64c15008833c68b5ec3fef86da0f8b165a /Eigen/src/Core/products | |
parent | 56c6373f82d4cf42a489951fb08566d3e5b612ef (diff) |
bug #1689 fix used-but-marked-unused warning
Diffstat (limited to 'Eigen/src/Core/products')
-rw-r--r-- | Eigen/src/Core/products/Parallelizer.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Eigen/src/Core/products/Parallelizer.h b/Eigen/src/Core/products/Parallelizer.h index 92e9b0d9f..e01e798f1 100644 --- a/Eigen/src/Core/products/Parallelizer.h +++ b/Eigen/src/Core/products/Parallelizer.h @@ -21,7 +21,8 @@ namespace internal { /** \internal */ inline void manage_multi_threading(Action action, int* v) { - static EIGEN_UNUSED int m_maxThreads = -1; + static int m_maxThreads = -1; + EIGEN_UNUSED_VARIABLE(m_maxThreads); if(action==SetAction) { |