fix

AeneasVerif · Nov 9, 2023 · b510d23 · b510d23
1 parent 8e14199
commit b510d23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -48,7 +48,7 @@
           (crane.mkLib pkgs).overrideToolchain rustToolchainWithExt;
         craneLibNoExt = (crane.mkLib pkgs).overrideToolchain rustToolchainNoExt;
         charon =
-          let cargoArtifacts = craneLibNoExt.buildDepsOnly { src = ./charon; };
+          let cargoArtifacts = craneLibWithExt.buildDepsOnly { src = ./charon; };
           in craneLibWithExt.buildPackage {
             src = ./charon;
             inherit cargoArtifacts;