From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 13 Jan 2014 23:31:29 +0000 (+0000)
Subject: Match names of template arguments. This appears to confuse MSVC otherwise...
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8a4d6fd6acd9cac2236aa6de4dab5040211b5d7;p=dealii-svn.git

Match names of template arguments. This appears to confuse MSVC otherwise...


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

diff --git a/deal.II/include/deal.II/grid/grid_tools.h b/deal.II/include/deal.II/grid/grid_tools.h
index b65081d4a5..5f43b3af9e 100644
--- a/deal.II/include/deal.II/grid/grid_tools.h
+++ b/deal.II/include/deal.II/grid/grid_tools.h
@@ -1,7 +1,7 @@
 // ---------------------------------------------------------------------
 // $Id$
 //
-// Copyright (C) 2001 - 2013 by the deal.II authors
+// Copyright (C) 2001 - 2014 by the deal.II authors
 //
 // This file is part of the deal.II library.
 //
@@ -1236,11 +1236,11 @@ namespace GridTools
 
 
 
-  template <class DH>
-  std::vector<typename DH::active_cell_iterator>
-  get_active_child_cells (const typename DH::cell_iterator &cell)
+  template <class Container>
+  std::vector<typename Container::active_cell_iterator>
+  get_active_child_cells (const typename Container::cell_iterator &cell)
   {
-    std::vector<typename DH::active_cell_iterator> child_cells;
+    std::vector<typename Container::active_cell_iterator> child_cells;
 
     if (cell->has_children())
       {
@@ -1248,8 +1248,8 @@ namespace GridTools
              child<cell->n_children(); ++child)
           if (cell->child (child)->has_children())
             {
-              const std::vector<typename DH::active_cell_iterator>
-              children = get_active_child_cells<DH> (cell->child(child));
+              const std::vector<typename Container::active_cell_iterator>
+              children = get_active_child_cells<Container> (cell->child(child));
               child_cells.insert (child_cells.end(),
                                   children.begin(), children.end());
             }