Praying to the nix gods

AeneasVerif · Feb 14, 2024 · efb65f5 · efb65f5
1 parent dfe1c7f
commit efb65f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -49,7 +49,7 @@
 
           nativeBuildInputs = [gnugrep];
 
-          propagatedBuildInputs = [krml charon-ml ocamlPackages.terminal];
+          propagatedBuildInputs = [krml charon-ml ocamlPackages.terminal ocamlPackages.yaml];
 
           passthru = {
             tests = stdenv.mkDerivation {