From 97f84ccace4e634b4e02178a702818e69292dc9f Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 8 Jul 2024 22:01:42 +0200 Subject: implement top-level definitions --- src/pretty/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/pretty/dune') diff --git a/src/pretty/dune b/src/pretty/dune index ee17573..708b5b1 100644 --- a/src/pretty/dune +++ b/src/pretty/dune @@ -4,6 +4,6 @@ (libraries bwd fmt + toytt.error toytt.ident - toytt.nbe - toytt.error)) + toytt.nbe)) -- cgit 1.4.1