From 1fff19a18c4d8f25cf77022079983b9321ddceb7 Mon Sep 17 00:00:00 2001 From: Stavros Polymenis Date: Mon, 13 Nov 2017 22:45:50 +0000 Subject: [PATCH] Remove forgotten dependency in core/jbuild --- src/core/jbuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/jbuild b/src/core/jbuild index 923d43d..bb784b7 100644 --- a/src/core/jbuild +++ b/src/core/jbuild @@ -3,5 +3,5 @@ (library ((name logarion) (public_name logarion) - (libraries (batteries confix omd fpath ptime lwt uuidm uri re)) + (libraries (confix omd fpath ptime lwt uuidm uri re)) )) \ No newline at end of file