Make clippy happy for Rust 1.77

o1-labs · Jan 8, 2025 · 9449a1a · 9449a1a
1 parent 0390c18
commit 9449a1a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/kimchi/src/precomputed_srs.rs b/kimchi/src/precomputed_srs.rs
@@ -185,6 +185,7 @@ mod tests {
         if std::env::var("SRS_OVERWRITE").is_ok() {
             let mut file = std::fs::OpenOptions::new()
                 .create(true)
+                .truncate(true)
                 .write(true)
                 .open(srs_path)
                 .expect("failed to open SRS file");

diff --git a/msm/src/precomputed_srs.rs b/msm/src/precomputed_srs.rs
@@ -89,6 +89,7 @@ fn create_and_store_srs_with_path(
         // Open/create the file
         let mut file = std::fs::OpenOptions::new()
             .create(true)
+            .truncate(true)
             .write(true)
             .open(srs_path.clone())
             .expect("failed to open SRS file");