From 6a63ed519d84cfedc20cd7f62b86fc075c744b7f Mon Sep 17 00:00:00 2001 From: bangerth Date: Fri, 29 Aug 2008 13:02:03 +0000 Subject: [PATCH] Include missing header file (found by C. Trophime). git-svn-id: https://svn.dealii.org/trunk@16695 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/deal.II/source/grid/grid_out.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/deal.II/deal.II/source/grid/grid_out.cc b/deal.II/deal.II/source/grid/grid_out.cc index fb8338c454..7daf629978 100644 --- a/deal.II/deal.II/source/grid/grid_out.cc +++ b/deal.II/deal.II/source/grid/grid_out.cc @@ -21,6 +21,7 @@ #include #include +#include #include #include #include -- 2.39.5