From 137c4cb59ebf07ab3ab9681239baa0989b29b963 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Mon, 6 Jun 2011 12:23:20 +0000
Subject: [PATCH] add missing header

[[Imported from SVN: r7370]]
---
 test/valuefactory.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/valuefactory.hh b/test/valuefactory.hh
index 73bb9469..fc063abe 100644
--- a/test/valuefactory.hh
+++ b/test/valuefactory.hh
@@ -4,6 +4,7 @@
 #include <vector>
 
 #include <dune/gfe/unitvector.hh>
+#include <dune/gfe/rotation.hh>
 
 /** \brief A class that creates sets of values of various types, to be used in unit tests
  * 
-- 
GitLab