1 files changed, 6 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix b/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
index 3ebe98ab775d..c979fe682d3e 100644
--- a/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
+++ b/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
@@ -12,6 +12,12 @@ buildDunePackage rec {
     sha256 = "0086h9qkvnqfm8acrxqbki54z619nj73x7f0d01v5vg2naznx7w9";
   };
 
+  # Make tests compatible with alcotest 1.4.0
+  postPatch = ''
+    substituteInPlace test/wycheproof/test.ml --replace \
+      'Printf.ksprintf Alcotest.fail' 'Printf.ksprintf (fun s -> Alcotest.fail s)'
+  '';
+
   buildInputs = [ dune-configurator ];
   propagatedBuildInputs = [ bigarray-compat cstruct eqaf hex ];
   checkInputs = [ alcotest asn1-combinators benchmark