1 files changed, 9 insertions, 0 deletions
diff --git a/src/pretty/dune b/src/pretty/dune
new file mode 100644
index 0000000..df46822
--- /dev/null
+++ b/src/pretty/dune
@@ -0,0 +1,9 @@
+(library
+ (name Pretty)
+ (public_name toytt.pretty)
+ (libraries
+  bwd
+  fmt
+  toytt.ident
+  toytt.nbe
+  toytt.reporter))