temporarily remove dune subst

Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
GillianPlatform · Apr 24, 2024 · 2c9fd31 · 2c9fd31
1 parent 537b11c
commit 2c9fd31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gillian.opam b/gillian.opam
@@ -8,7 +8,7 @@ bug-reports: "https://github.com/GillianPlatform/Gillian/issues"
 homepage: "https://github.com/GillianPlatform/Gillian/"
 dev-repo: "git+https://github.com/GillianPlatform/Gillian.git"
 build: [
-  ["dune" "subst"] {dev}
+  # ["dune" "subst"] {dev}
   [
     "dune"
     "build"