diff --git a/dune/solvers/common/Makefile.am b/dune/solvers/common/Makefile.am index 01aa34682ae5404647a22b2f902cdfbe91f4bb1c..7abdcc50ac8d1541ea85780dfa038cf5ba1d0b0f 100644 --- a/dune/solvers/common/Makefile.am +++ b/dune/solvers/common/Makefile.am @@ -1,7 +1,8 @@ SUBDIRS = commondir = $(includedir)/dune/solvers/common -common_HEADERS = boxconstraint.hh \ +common_HEADERS = arithmetic.hh \ + boxconstraint.hh \ genericvectortools.hh \ canignore.hh \ interval.hh \