From 2d8217653ccf2fcc6e36abb1c5f0814595709338 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Tue, 18 Jun 2024 11:13:42 +0200
Subject: [PATCH] Remove dune's {build} tag

---
 dune-project | 2 +-
 smtml.opam   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index b70fb344..96f08b63 100644
--- a/dune-project
+++ b/dune-project
@@ -32,7 +32,7 @@
    (>= "0.4.0"))
   cvc5)
  (depends
-  (dune :build)
+  dune
   (ocaml
    (>= "4.14.0"))
   ocaml_intrinsics
diff --git a/smtml.opam b/smtml.opam
index a829e2e9..5c5cf81b 100644
--- a/smtml.opam
+++ b/smtml.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/formalsec/smtml"
 doc: "https://formalsec.github.io/smtml/smtml/index.html"
 bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
-  "dune" {>= "3.14" & build}
+  "dune" {>= "3.14"}
   "ocaml" {>= "4.14.0"}
   "ocaml_intrinsics"
   "cmdliner" {>= "1.2.0"}