update eigen

1 files changed, 1 insertions, 10 deletions

diff --git a/eigen/test/geo_alignedbox.cpp b/eigen/test/geo_alignedbox.cpp
index 223ff5e..d2339a6 100644
--- a/eigen/test/geo_alignedbox.cpp
+++ b/eigen/test/geo_alignedbox.cpp
@@ -15,17 +15,8 @@
 #include<iostream>
 using namespace std;
 
-// NOTE the following workaround was needed on some 32 bits builds to kill extra precision of x87 registers.
-// It seems that it os not needed anymore, but let's keep it here, just in case...
-
 template<typename T> EIGEN_DONT_INLINE
-void kill_extra_precision(T& /* x */) {
-  // This one worked but triggered a warning:
-  /* eigen_assert((void*)(&x) != (void*)0); */
-  // An alternative could be:
-  /* volatile T tmp = x; */
-  /* x = tmp; */
-}
+void kill_extra_precision(T& x) { eigen_assert((void*)(&x) != (void*)0); }
 
 
 template<typename BoxType> void alignedbox(const BoxType& _box)