Hack no longer required

tautschnig · tautschnig · commit 9c5e56afad20 · 2025-03-20T09:00:16.000Z
diff --git a/library/backtrace b/library/backtrace
@@ -1 +1 @@
-Subproject commit 9d2c34e7e63afe1e71c333b247065e3b7ba4d883
+Subproject commit f8cc6ac9acc4e663ecd96f9bcf1ff4542636d1b9
diff --git a/library/stdarch b/library/stdarch
@@ -1 +1 @@
-Subproject commit 9426bb56586c6ae4095a2dcbd66c570253e6fb32
+Subproject commit 684de0d6fef708cae08214fef9643dd9ec7296e1
diff --git a/scripts/kani-std-analysis/std-analysis.sh b/scripts/kani-std-analysis/std-analysis.sh
@@ -65,7 +65,6 @@ then
 fi
 cargo new std_lib_analysis --lib
 cd std_lib_analysis
-sed -i '1i cargo-features = ["edition2024"]' Cargo.toml
 
 echo '
 pub fn dummy() {
