| commit | e4fb0ddf78b06bb34c2a33d2e0507ecb0420a2c9 | [log] [tgz] |
|---|---|---|
| author | Rasmus Munk Larsen <rmlarsen@google.com> | Tue Sep 15 01:18:55 2020 +0000 |
| committer | Rasmus Munk Larsen <rmlarsen@google.com> | Tue Sep 15 01:18:55 2020 +0000 |
| tree | f4bbd72472f1c66258bc7fec0de09c102e5fb442 | |
| parent | 65e400896bd5d6e62263d8262f6c7e1644f83298 [diff] |
Add EIGEN_UNUSED_VARIABLE to unused variable in Memory.h
diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h index 0b9589c..258c391 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h
@@ -83,6 +83,7 @@ new int[huge]; #else void* unused = ::operator new(huge); + EIGEN_UNUSED_VARIABLE(unused); #endif #endif }