diff options
| author | Mishio595 <[email protected]> | 2018-11-13 18:05:44 -0700 |
|---|---|---|
| committer | Mishio595 <[email protected]> | 2018-11-13 18:05:44 -0700 |
| commit | 22a83fa752155f9d8499930b8b57d25cb837d263 (patch) | |
| tree | 5dd49c96f4777bfd7b6f616464aa0555c733c425 /lib/client/client.ml | |
| parent | Initial multi-shard support (diff) | |
| download | disml-22a83fa752155f9d8499930b8b57d25cb837d263.tar.xz disml-22a83fa752155f9d8499930b8b57d25cb837d263.zip | |
Completed multi-sharding
Diffstat (limited to 'lib/client/client.ml')
| -rw-r--r-- | lib/client/client.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/client/client.ml b/lib/client/client.ml index 3e90432..94817ab 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 |