From 61e01771a2dbb66a66f07cd08dc24938c2202517 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Fri, 19 Apr 2002 10:26:34 +0000
Subject: [PATCH] Explicitly name template args for instantiation, to make
 Intel ICC happier.

git-svn-id: https://svn.dealii.org/trunk@5688 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/base/source/table_handler.cc | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/deal.II/base/source/table_handler.cc b/deal.II/base/source/table_handler.cc
index 4fec9b5a4d..4009e03d17 100644
--- a/deal.II/base/source/table_handler.cc
+++ b/deal.II/base/source/table_handler.cc
@@ -500,17 +500,17 @@ template class TableEntry<std::string>;
 
 
 template
-void TableHandler::add_value<> (const std::string &,
-				const double);
+void TableHandler::add_value<double> (const std::string &,
+				      const double);
 
 template
-void TableHandler::add_value<> (const std::string &,
-				const int);
+void TableHandler::add_value<int> (const std::string &,
+				   const int);
 
 template
-void TableHandler::add_value<> (const std::string &,
-				const unsigned int);
+void TableHandler::add_value<unsigned int> (const std::string &,
+					    const unsigned int);
 
 template
-void TableHandler::add_value<> (const std::string &,
-				const std::string);
+void TableHandler::add_value<std::string> (const std::string &,
+					   const std::string);
-- 
2.39.5