From cb50179cd9c2cd83a2cc8d88e9db86e3f100917e Mon Sep 17 00:00:00 2001
From: redianthus <l@ndrs.fr>
Date: Sun, 22 Feb 2026 12:40:35 +0100
Subject: [PATCH] ocamlPackages.smtml: enable bitwuzla support

---
 pkgs/development/ocaml-modules/smtml/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/ocaml-modules/smtml/default.nix b/pkgs/development/ocaml-modules/smtml/default.nix
index 72ea1a635acd..91482674892e 100644
--- a/pkgs/development/ocaml-modules/smtml/default.nix
+++ b/pkgs/development/ocaml-modules/smtml/default.nix
@@ -5,6 +5,7 @@
   ocaml,
   fetchFromGitHub,
   menhir,
+  bitwuzla-cxx,
   bos,
   cmdliner,
   dolmen_model,
@@ -47,6 +48,7 @@ buildDunePackage (finalAttrs: {
   ];
 
   propagatedBuildInputs = [
+    bitwuzla-cxx
     bos
     cmdliner
     dolmen_model