Avoid a warning with gcc 4.7 (based on a patch by Uwe Koecher).

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

diff --git a/deal.II/source/grid/tria.cc b/deal.II/source/grid/tria.cc
index 24215318aedbf3637c8e8ee72882a456f5ad3b15..156b910e9082e3e88a5633dbb9fe593812ac94a9 100644 (file)
--- a/deal.II/source/grid/tria.cc
+++ b/deal.II/source/grid/tria.cc
@@ -3552,15 +3552,15 @@ namespace internal
                                                                  // all information of the
                                                                  // two quads
                                 const int switch_1_lines[4]=
-                                  {switch_1->line_index(0),
-                                   switch_1->line_index(1),
-                                   switch_1->line_index(2),
-                                   switch_1->line_index(3)};
+                                  { static_cast<signed int>(switch_1->line_index(0)),
+                                   static_cast<signed int>(switch_1->line_index(1)),
+                                   static_cast<signed int>(switch_1->line_index(2)),
+                                   static_cast<signed int>(switch_1->line_index(3)) };
                                 const bool switch_1_line_orientations[4]=
-                                  {switch_1->line_orientation(0),
-                                   switch_1->line_orientation(1),
-                                   switch_1->line_orientation(2),
-                                   switch_1->line_orientation(3)};
+                                  { switch_1->line_orientation(0),
+                                   switch_1->line_orientation(1),
+                                   switch_1->line_orientation(2),
+                                   switch_1->line_orientation(3) };
                                 const types::boundary_id_t switch_1_boundary_indicator=switch_1->boundary_indicator();
                                 const unsigned int switch_1_user_index=switch_1->user_index();
                                 const bool switch_1_user_flag=switch_1->user_flag_set();