Hack no longer required (take 2)

Author: tautschnig

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() {