Update the flake.nix

AeneasVerif · Nov 22, 2023 · 6760bf9 · 6760bf9
1 parent aa0d522
commit 6760bf9
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/flake.nix b/flake.nix
@@ -109,7 +109,7 @@
             nativeBuildInputs = with ocamlPackages; [
               menhir
             ];
-            buildInputs = with ocamlPackages; [
+            propagatedBuildInputs = with ocamlPackages; [
               ppx_deriving
               visitors
               zarith
@@ -130,14 +130,13 @@
               cp ${tests-polonius}/llbc/* tests/serialized
             '' else
               "";
-            buildInputs = with ocamlPackages; [
+            propagatedBuildInputs = with ocamlPackages; [
               ppx_deriving
               visitors
               easy_logging
               zarith
               yojson
               calendar
-              menhirLib
               charon-name_matcher_parser
             ];
             src = ./charon-ml;