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))