diff --git a/dune/common/misc.hh b/dune/common/misc.hh index 957f055e0b0ecfff0414e823b377ba95b08d8371..f8f8a23d19507e60e1e23a822367195b153391ee 100644 --- a/dune/common/misc.hh +++ b/dune/common/misc.hh @@ -10,6 +10,7 @@ #include <algorithm> #include <cstddef> #include <cstring> +#include <cstdio> #include <iostream> #include <iomanip> #include <iterator>