diff --git a/dumux/common/start.hh b/dumux/common/start.hh index 5e45a0a4d6d8924fb500f1da7fb79e5683677a2c..02cb51eb4ba2d7f205e15d2ca8ec5d6d5f8b6e32 100644 --- a/dumux/common/start.hh +++ b/dumux/common/start.hh @@ -23,6 +23,7 @@ #ifndef DUMUX_START_HH #define DUMUX_START_HH +#include <ctime> #include <iostream> #include <dune/common/parametertreeparser.hh>