aboutsummaryrefslogtreecommitdiff
path: root/lib/client_options.ml
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-29 13:38:27 -0700
committerAdelyn Breelove <[email protected]>2019-01-29 13:38:27 -0700
commit43ad34645cd2dd18553a5e647a951963b91f322e (patch)
treee91364ae70b9b009d60fadb4d6a1dfe9a82b73e7 /lib/client_options.ml
parentCompression!!! (diff)
downloaddisml-43ad34645cd2dd18553a5e647a951963b91f322e.tar.xz
disml-43ad34645cd2dd18553a5e647a951963b91f322e.zip
A few improvements to how compression is handled internally
Diffstat (limited to 'lib/client_options.ml')
-rw-r--r--lib/client_options.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/client_options.ml b/lib/client_options.ml
index 6a0d261..0b52006 100644
--- a/lib/client_options.ml
+++ b/lib/client_options.ml
@@ -1,3 +1,2 @@
let token = ref ""
-let large_threshold = ref 250
-let compress = ref false \ No newline at end of file
+let large_threshold = ref 250 \ No newline at end of file