# HG changeset patch
# User wenzelm
# Date 1687354278 -7200
# Node ID e9f96422f6072d4db5472ef4a244b55120a9ae88
# Parent  fd68b98de1f6e459e2ac2be38a4be5fe453cb4b7
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);

diff -r fd68b98de1f6 -r e9f96422f607 etc/options
--- a/etc/options	Wed Jun 21 15:20:58 2023 +0200
+++ b/etc/options	Wed Jun 21 15:31:18 2023 +0200
@@ -195,7 +195,7 @@
 option build_database_test : bool = false
   -- "expose state of build process via central database"
 
-option build_database_slice : real = 50.0
+option build_database_slice : real = 300
   -- "slice size in MiB for ML heap stored within database"