more dune-site removal

UQ-PAC · Jun 21, 2024 · 4d5c83d · 4d5c83d
1 parent 3cf150f
commit 4d5c83d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libASL/dune b/libASL/dune
@@ -27,5 +27,5 @@
    )
  (preprocessor_deps (alias ../asl_files))
  (preprocess (pps ppx_blob))
- (libraries pprint zarith z3 str pcre  dune-site))
+ (libraries pprint zarith z3 str pcre))