From 1e031b133630dec9a58875b240ecf38ac4733bb8 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Sun, 11 Mar 2012 13:01:53 +0100
Subject: [PATCH] Add missing #include

---
 src/one-body-sample.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/one-body-sample.cc b/src/one-body-sample.cc
index 4e77cede..464e8e08 100644
--- a/src/one-body-sample.cc
+++ b/src/one-body-sample.cc
@@ -28,6 +28,7 @@
 #include <dune/common/bitsetvector.hh>
 #include <dune/common/exceptions.hh>
 #include <dune/common/fmatrix.hh>
+#include <dune/common/function.hh>
 #include <dune/common/fvector.hh>
 #include <dune/common/parametertree.hh>
 #include <dune/common/parametertreeparser.hh>
-- 
GitLab