Improve overview and experiment naming

[khatus.git] / v3 / src / lib / khatus.ml

diff --git a/v3/src/lib/khatus.ml b/v3/src/lib/khatus.ml
deleted file mode 100644 (file)
index efc41ae..0000000
--- a/v3/src/lib/khatus.ml
+++ /dev/null
@@ -1,6 +0,0 @@
-module Cache      = Khatus_cache
-module Msg        = Khatus_msg
-module Msg_parser = Khatus_msg_parser
-module Msg_stream = Khatus_msg_stream
-module State      = Khatus_state
-module Time       = Khatus_time