Use correct data type also in 64-bit mode.

diff --git a/source/hp/dof_handler.cc b/source/hp/dof_handler.cc
index 75123e9861f5d453d07c3f5da463abe378bbf2bc..058a4a566404586b76d2dea40224c05abb72193a 100644 (file)
--- a/source/hp/dof_handler.cc
+++ b/source/hp/dof_handler.cc
@@ -1647,7 +1647,7 @@ namespace hp
     faces.reset ();
 
     vertex_dofs = std::move(std::vector<types::global_dof_index>());
-    vertex_dof_offsets = std::move (std::vector<types::global_dof_index>());
+    vertex_dof_offsets = std::move (std::vector<unsigned int>());
   }
 }