diff --git a/test/dune b/test/dune index 38823aef0..3097b7985 100644 --- a/test/dune +++ b/test/dune @@ -4,6 +4,7 @@ (name haz3ltest) (libraries haz3lcore + haz3lweb alcotest sexplib base