Simplify a small piece of code.

diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc
index 637ea607a2d0d561acbf1f6f4013db285a79e933..2c7d108bce7f6bebf95006a7cb426f0f4dcf7799 100644 (file)
--- a/source/dofs/dof_handler_policy.cc
+++ b/source/dofs/dof_handler_policy.cc
@@ -2760,8 +2760,7 @@ namespace internal
               decompressing_stream.push(boost::iostreams::gzip_decompressor());
               decompressing_stream.push(boost::iostreams::back_inserter(decompressed_buffer));
 
-              for (const auto p : buffer)
-                decompressing_stream << p;
+              decompressing_stream.write (&buffer[0], buffer.size());
             }
 
             // then restore the object from the buffer