From 88fab69e3ec310ebabd692e43fd94598fae7fc83 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Mon, 13 Jun 2011 16:33:58 +0000
Subject: [PATCH] add missing header

[[Imported from SVN: r7427]]
---
 dune/gfe/rigidbodymotion.hh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dune/gfe/rigidbodymotion.hh b/dune/gfe/rigidbodymotion.hh
index 388ed40d..a5e0655d 100644
--- a/dune/gfe/rigidbodymotion.hh
+++ b/dune/gfe/rigidbodymotion.hh
@@ -2,9 +2,11 @@
 #define RIGID_BODY_MOTION_HH
 
 #include <dune/common/fvector.hh>
+
+#include <dune/gfe/realtuple.hh>
 #include "rotation.hh"
 
-/** \brief A rigid-body motion in, R^d, i.e., a member of SE(d) */
+/** \brief A rigid-body motion in R^d, i.e., a member of SE(d) */
 template <int dim, class T=double>
 struct RigidBodyMotion
 {
-- 
GitLab