From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 4 Jul 2012 13:40:41 +0000 (+0000)
Subject: Minor indentation change.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aeb5768705e2d628096b2d8ab08de14b04da6962;p=dealii-svn.git

Minor indentation change.

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

diff --git a/deal.II/source/grid/grid_tools.cc b/deal.II/source/grid/grid_tools.cc
index 9995e755cd..ac8ff47efd 100644
--- a/deal.II/source/grid/grid_tools.cc
+++ b/deal.II/source/grid/grid_tools.cc
@@ -883,7 +883,7 @@ namespace GridTools
                                      //If we have only one element in the MappingCollection,
                                      //we use find_active_cell_around_point using only one
                                      //mapping.
-    if(mapping.size()==1)
+    if (mapping.size() == 1)
       best_cell = find_active_cell_around_point(mapping[0], container, p);
     else
       {