From 2c9fd31b296066786b08a509f0464517f6e9aeb2 Mon Sep 17 00:00:00 2001
From: Sacha Ayoun <sachaayoun@gmail.com>
Date: Wed, 24 Apr 2024 11:58:00 +0100
Subject: [PATCH] temporarily remove dune subst

Signed-off-by: Sacha Ayoun <sachaayoun@gmail.com>
---
 gillian.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gillian.opam b/gillian.opam
index 21bd7bbb..8b3ac20c 100644
--- 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"