From d7de7b507a732988c766bd33cfb02664ae8fac34 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Mon, 24 Jun 2024 19:07:38 +1000
Subject: [PATCH] export libASL_web

---
 libASL/support/web/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libASL/support/web/dune b/libASL/support/web/dune
index f9cb6a66..380dcf39 100644
--- a/libASL/support/web/dune
+++ b/libASL/support/web/dune
@@ -1,4 +1,5 @@
 (library
  (name libASL_web)
+ (public_name asli.libASL-web)
  (implements libASL_support)
  (libraries libASL_ast zarith_stubs_js))