Revert "Ignore derivative in Cargo deny" (#3712)

Reverts #3708 The issue of `derivative` has been fixed in Charon: AeneasVerif/charon#459. Co-authored-by: Zyad Hassan <[email protected]>
model-checking · Nov 14, 2024 · abcc9e1 · abcc9e1
1 parent c0afe20
commit abcc9e1
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/deny.toml b/deny.toml
@@ -1,12 +1,6 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
-[graph]
-# derivative is marked as unmaintained by RUSTSEC but still used in
-# Charon. We exclude it from the deny check until derivative is replaced
-# from Charon (https://github.com/AeneasVerif/charon/pull/459).
-exclude = ["derivative"]
-
 # This section is considered when running `cargo deny check advisories`
 # More documentation for the advisories section can be found here:
 # https://embarkstudios.github.io/cargo-deny/checks/advisories/cfg.html