Update derive_generic_visitor to get a fix

AeneasVerif · Jan 9, 2025 · cff1be1 · cff1be1
1 parent 28d0cda
commit cff1be1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/charon/Cargo.lock b/charon/Cargo.lock