Make clippy happy for Rust 1.77

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

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kimchi/src/precomputed_srs.rs b/kimchi/src/precomputed_srs.rs
@@ -184,7 +184,7 @@ mod tests {
         let srs_path = get_srs_path::<G>(srs_type);
         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
@@ -88,7 +88,7 @@ fn create_and_store_srs_with_path(
         std::fs::create_dir_all(srs_path.parent().unwrap()).unwrap();
         // 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");