From 8423dfc0576b4b98de0b41738646740f27924df9 Mon Sep 17 00:00:00 2001 From: Mishio595 Date: Sat, 10 Nov 2018 13:40:37 -0700 Subject: Fix to sharding changes --- lib/client/client.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/client/client.ml') diff --git a/lib/client/client.ml b/lib/client/client.ml index 94817ab..3e90432 100644 --- a/lib/client/client.ml +++ b/lib/client/client.ml @@ -1,5 +1,5 @@ -let notify t data = - Yojson.Basic.pretty_print Format.std_formatter data; +let notify _t _data = + (* Yojson.Basic.pretty_print Format.std_formatter data; print_newline (); - print_endline t; + print_endline t; *) () \ No newline at end of file -- cgit v1.2.3