export libASL_web

UQ-PAC · Jun 24, 2024 · 12a99f5 · 12a99f5
1 parent 99d34ed
commit 12a99f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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))