Add haz3lweb library to test dependencies

hazelgrove · Oct 25, 2024 · ed962c0 · ed962c0
1 parent 51ec3c4
commit ed962c0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/dune b/test/dune
@@ -4,6 +4,7 @@
  (name haz3ltest)
  (libraries
   haz3lcore
+  haz3lweb
   alcotest
   sexplib
   base