aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorMishio595 <[email protected]>2018-11-13 18:42:47 -0700
committerMishio595 <[email protected]>2018-11-13 18:42:47 -0700
commit9c910343f13400c9867dc0841e52a6b4510633ad (patch)
tree9da8fb076a861afc5d21fff705484a0a57e9ab9a /dune
parentA few more sharding improvements (diff)
downloaddisml-9c910343f13400c9867dc0841e52a6b4510633ad.tar.xz
disml-9c910343f13400c9867dc0841e52a6b4510633ad.zip
New name who dis
Diffstat (limited to 'dune')
-rw-r--r--dune4
1 files changed, 2 insertions, 2 deletions
diff --git a/dune b/dune
index 295e841..b8d2700 100644
--- a/dune
+++ b/dune
@@ -1,5 +1,5 @@
(library
- (name animus)
+ (name disml)
(modules endpoints http client sharder opcode)
(libraries lwt cohttp cohttp.lwt yojson websocket websocket-lwt-unix zlib)
)
@@ -8,7 +8,7 @@
(executable
(name bot)
(modules bot)
- (libraries lwt animus)
+ (libraries lwt disml)
)
(include_subdirs unqualified) \ No newline at end of file