From 4ccff2d028e9e39c66c4f003c7c077a0805d3023 Mon Sep 17 00:00:00 2001
From: Martinho Fernandes <martinho.fernandes@gmail.com>
Date: Fri, 10 Jan 2014 11:20:40 +0100
Subject: [PATCH] Placement new must use void* to avoid user-specific
 overloads.

---
 Eigen/src/Core/util/Memory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h
index c1050e1ea..d1b08ed4c 100644
--- a/Eigen/src/Core/util/Memory.h
+++ b/Eigen/src/Core/util/Memory.h
@@ -765,7 +765,7 @@ public:
     template <typename U, typename... Args>
     void construct( U* u, Args&&... args)
     {
-        ::new( u ) U( std::forward<Args>( args )... );
+        ::new( static_cast<void*>(u) ) U( std::forward<Args>( args )... );
     }
 #endif