summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2021-11-29 17:00:46 +0100
committerSon Ho2021-11-29 17:00:46 +0100
commit30628d4bbc3ea8a4b2e716d5c83323599ed98cce (patch)
tree64bbd82258afb1353f33b48abf1a4b6b528f5af4 /src/dune
parent18298def3e1bda9c5db907d4b0432557a76df337 (diff)
Start working logging and make progress on printing ASTs
Diffstat (limited to '')
-rw-r--r--src/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index eb2966f4..c565d9fa 100644
--- a/src/dune
+++ b/src/dune
@@ -1,6 +1,6 @@
(executable
(name main)
- (libraries yojson zarith))
+ (libraries yojson zarith easy_logging))
(env
(dev (flags