Dogfood feature(file_buffered)
This commit is contained in:
parent
1e9a50dde8
commit
0999b019f8
28 changed files with 44 additions and 40 deletions
|
@ -23,6 +23,7 @@
|
|||
#![feature(cfg_match)]
|
||||
#![feature(core_intrinsics)]
|
||||
#![feature(extend_one)]
|
||||
#![feature(file_buffered)]
|
||||
#![feature(hash_raw_entry)]
|
||||
#![feature(macro_metavar_expr)]
|
||||
#![feature(map_try_insert)]
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
use std::env::var_os;
|
||||
use std::fs::File;
|
||||
use std::io::BufWriter;
|
||||
use std::path::Path;
|
||||
use std::sync::atomic::{AtomicUsize, Ordering};
|
||||
|
||||
|
@ -33,7 +32,7 @@ impl<O: ForestObligation> ObligationForest<O> {
|
|||
|
||||
let file_path = dir.as_ref().join(format!("{counter:010}_{description}.gv"));
|
||||
|
||||
let mut gv_file = BufWriter::new(File::create(file_path).unwrap());
|
||||
let mut gv_file = File::create_buffered(file_path).unwrap();
|
||||
|
||||
dot::render(&self, &mut gv_file).unwrap();
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue