diff options
Diffstat (limited to 'src/nbe')
-rw-r--r-- | src/nbe/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nbe/dune b/src/nbe/dune index b7c9bed..3e62347 100644 --- a/src/nbe/dune +++ b/src/nbe/dune @@ -1,4 +1,4 @@ (library (name NbE) (public_name toytt.nbe) - (libraries algaeff bwd toytt.ident toytt.reporter)) + (libraries algaeff bwd toytt.ident toytt.error)) |