Change gzip compression level to best_speed

diff --git a/source/dofs/number_cache.cc b/source/dofs/number_cache.cc
index 5d5aa0125e623ef89e1c1f9d37178bb64b970f08..42e97076df74cd83d4eca2b5cfbd22c9cf1e7a5c 100644 (file)
--- a/source/dofs/number_cache.cc
+++ b/source/dofs/number_cache.cc
@@ -153,7 +153,7 @@ namespace internal
                 boost::iostreams::filtering_ostream out;
                 out.push(boost::iostreams::gzip_compressor(
                   boost::iostreams::gzip_params(
-                    boost::iostreams::gzip::best_compression)));
+                    boost::iostreams::gzip::best_speed)));
                 out.push(boost::iostreams::back_inserter(my_data));
 
                 boost::archive::binary_oarchive archive(out);