From: Wolfgang Bangerth Date: Thu, 12 May 2011 18:35:42 +0000 (+0000) Subject: Add missing header file. X-Git-Tag: v8.0.0~4072 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4de90e4f1997f7752839773e7354d04fe70964ec;p=dealii.git Add missing header file. git-svn-id: https://svn.dealii.org/trunk@23693 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/source/base/utilities.cc b/deal.II/source/base/utilities.cc index d899364ce8..19a535b1fa 100644 --- a/deal.II/source/base/utilities.cc +++ b/deal.II/source/base/utilities.cc @@ -25,6 +25,7 @@ #include #include #include +#include #ifdef HAVE_STD_NUMERIC_LIMITS # include