1 files changed, 2 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index bd1d2d2..4bf732e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -38,6 +38,7 @@
             ];
             propagatedBuildInputs = [
               ocamlPackages.zarith
+              ocamlPackages.yojson
             ];
             checkInputs = [ ocamlPackages.alcotest ];
             doCheck = true;
@@ -63,6 +64,7 @@
               ocamlPackages.utop
               ocamlPackages.odoc
               ocamlPackages.zarith
+              ocamlPackages.yojson
               ocamlPackages.alcotest
               ocamlPackages.menhir
               # Rocq, for the verified checkers and their extraction