From 345239ba869617cbd5db6a27f8023d239d4a5836 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Wed, 3 Jul 2013 16:10:52 +0000
Subject: [PATCH] add missing header

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

diff --git a/test/valuefactory.hh b/test/valuefactory.hh
index ebabbc03..d9e1a83b 100644
--- a/test/valuefactory.hh
+++ b/test/valuefactory.hh
@@ -7,6 +7,7 @@
 #include <dune/gfe/rotation.hh>
 #include <dune/gfe/rigidbodymotion.hh>
 #include <dune/gfe/orthogonalmatrix.hh>
+#include <dune/gfe/hyperbolichalfspacepoint.hh>
 
 /** \brief A class that creates sets of values of various types, to be used in unit tests
  * 
-- 
GitLab