From 4d5c83d994ac9e4468b8dc69d30a3110077fc89e Mon Sep 17 00:00:00 2001 From: rina Date: Fri, 21 Jun 2024 18:43:38 +1000 Subject: [PATCH] more dune-site removal --- libASL/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libASL/dune b/libASL/dune index fefdbd8e..d04b93ec 100644 --- 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))