From 9f07f4cc2e8384251c185765bfeb51c72bdb8acf Mon Sep 17 00:00:00 2001
From: Thomas Heinemann <thomas.heinemann@rwth-aachen.de>
Date: Thu, 11 Oct 2012 16:58:03 +0200
Subject: [PATCH] This file (of Eigen) disappeared for some reason I do not
 know...

---
 resources/3rdparty/eigen/Eigen/src/Core/Ref.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/eigen/Eigen/src/Core/Ref.h b/resources/3rdparty/eigen/Eigen/src/Core/Ref.h
index 9c409eecf..e106bd59f 100644
--- a/resources/3rdparty/eigen/Eigen/src/Core/Ref.h
+++ b/resources/3rdparty/eigen/Eigen/src/Core/Ref.h
@@ -10,7 +10,7 @@
 #ifndef EIGEN_REF_H
 #define EIGEN_REF_H
 
-namespace Eigen { 
+namespace Eigen {
 
 template<typename Derived> class RefBase;
 template<typename PlainObjectType, int Options = 0,