Trust rustc regarding `Copy` bounds

1 files changed, 1 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index 36910f45..e1bafc6b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
   inputs = {
     # Remark: when adding inputs here, don't forget to also add them in the list
     # of outputs below!
-    charon.url = "github:aeneasverif/charon";
+    charon.url = "github:aeneasverif/charon/generic-copy";
     flake-utils.follows = "charon/flake-utils";
     nixpkgs.follows = "charon/nixpkgs";
     hacl-nix.url = "github:hacl-star/hacl-nix";