From 1f1ef359842a3569b3bb65b2ffb34c94c04fc29b Mon Sep 17 00:00:00 2001
From: Bernd Flemisch <bernd@iws.uni-stuttgart.de>
Date: Mon, 4 Feb 2013 21:27:01 +0000
Subject: [PATCH] fix headercheck

git-svn-id: svn://svn.iws.uni-stuttgart.de/DUMUX/dumux/trunk@10174 2fb0f335-1f38-0410-981e-8018bf24f1b0
---
 dumux/common/timemanager.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dumux/common/timemanager.hh b/dumux/common/timemanager.hh
index 972bfa5854..7d67a38c8c 100644
--- a/dumux/common/timemanager.hh
+++ b/dumux/common/timemanager.hh
@@ -32,6 +32,7 @@
 #endif
 
 #include "propertysystem.hh"
+#include "parameters.hh"
 
 namespace Dumux
 {
@@ -39,6 +40,7 @@ namespace Properties
 {
 NEW_PROP_TAG(Scalar);
 NEW_PROP_TAG(Problem);
+NEW_PROP_TAG(TimeManagerMaxTimeStepSize);
 }
 
 /*!
-- 
GitLab