From ed962c0354b29f7e5036ba7c39491e0872a7f64f Mon Sep 17 00:00:00 2001 From: Alexander Bandukwala <7h3kk1d@gmail.com> Date: Fri, 25 Oct 2024 14:01:24 -0400 Subject: [PATCH] Add haz3lweb library to test dependencies --- test/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/test/dune b/test/dune index 38823aef07..3097b79859 100644 --- a/test/dune +++ b/test/dune @@ -4,6 +4,7 @@ (name haz3ltest) (libraries haz3lcore + haz3lweb alcotest sexplib base