From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 2 May 2008 22:17:46 +0000 (+0000)
Subject: Add necessary include file.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b5d0e2d56f6778ddc03af9dec6b530d73df3ec9d;p=dealii-svn.git

Add necessary include file.

git-svn-id: https://svn.dealii.org/trunk@16023 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/common/scripts/expand_instantiations.cc b/deal.II/common/scripts/expand_instantiations.cc
index fd6bdbf0ee..6159e78cf8 100644
--- a/deal.II/common/scripts/expand_instantiations.cc
+++ b/deal.II/common/scripts/expand_instantiations.cc
@@ -2,7 +2,7 @@
 //    $Id$
 //    Version: $Name$
 //
-//    Copyright (C) 2007 by the deal.II authors
+//    Copyright (C) 2007, 2008 by the deal.II authors
 //
 //    This file is subject to QPL and may not be  distributed
 //    without copyright and license information. Please refer
@@ -46,7 +46,7 @@
 #include <map>
 #include <list>
 #include <cstdlib>
-
+#include <string>
 
 // a map from the keys in the expansion lists to the list itself. For
 // instance, the example above will lead to the entry