Revert "Hack no longer required"

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