diff --git a/tools/build-kani/src/sysroot.rs b/tools/build-kani/src/sysroot.rs
index bb8708a14f68..b8e8c92186f1 100644
--- a/tools/build-kani/src/sysroot.rs
+++ b/tools/build-kani/src/sysroot.rs
@@ -130,10 +130,6 @@ fn build_kani_lib(
         "host-config",
         "--profile",
         "dev",
-        // Disable debug assertions for now as a mitigation for
-        // https://github.com/model-checking/kani/issues/1740
-        "--config",
-        "profile.dev.debug-assertions=false",
         "--config",
         "host.rustflags=[\"--cfg=kani\", \"--cfg=kani_sysroot\"]",
         "--target",