make Framing.config use zlib by default

imandra-ai · Apr 5, 2024 · 11b43ed · 11b43ed
1 parent 68d2d6a
commit 11b43ed
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/core/framing.ml b/src/core/framing.ml
@@ -39,7 +39,7 @@ open struct
 end
 
 type config = {
-  use_zlib: bool;
+  use_zlib: bool; [@default true]
   zlib_compression_threshold_B: int; [@default 2 * 1024]
   buf_pool: Buf_pool.t;
 }

diff --git a/src/core/framing.mli b/src/core/framing.mli
@@ -17,7 +17,8 @@
 open Common_
 
 type config = {
-  use_zlib: bool;  (** Use zlib compression on large messages? *)
+  use_zlib: bool; [@default true]
+      (** Use zlib compression on large messages? *)
   zlib_compression_threshold_B: int; [@default 2 * 1024]
       (** Size of body above which we apply zlib compression. *)
   buf_pool: Buf_pool.t;