diff --git a/dune/common/configparser.cc b/dune/common/configparser.cc index b1d2d2cc29787c9f11decb5fd70a365d7f698a02..7f621af717c3490ef6997e06808f58aed836d09e 100644 --- a/dune/common/configparser.cc +++ b/dune/common/configparser.cc @@ -1,5 +1,10 @@ // -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*- // vi: set et ts=4 sw=2 sts=2: + +#if HAVE_CONFIG_H +#include "config.h" +#endif + #include "configparser.hh" #include <cstdlib>