From 32fb247d04b8eb0ae291b5ad4608439673b41d5b Mon Sep 17 00:00:00 2001
From: Qinheping Hu <qinhh@amazon.com>
Date: Wed, 13 Nov 2024 10:14:50 -0600
Subject: [PATCH] Revert "Ignore derivative in Cargo deny (#3708)"

This reverts commit 59ef4df6debb88e845fbc9cfc9efa9391ed258b4.
---
 deny.toml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/deny.toml b/deny.toml
index 743f6965e2f5..e90324704993 100644
--- 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