Inability to write a file is typically user, not internal error.

This commit is contained in:
Wilson Snyder
2018-07-14 19:22:50 -04:00
parent 736bf75a50
commit 9e3a88c41d
9 changed files with 23 additions and 23 deletions
+2 -2
View File
@@ -243,8 +243,8 @@ void V3Stats::statsReport() {
// Open stats file
string filename = v3Global.opt.makeDir()+"/"+v3Global.opt.prefix()+"__stats.txt";
ofstream* ofp (V3File::new_ofstream(filename));
if (ofp->fail()) v3fatalSrc("Can't write "<<filename);
std::ofstream* ofp (V3File::new_ofstream(filename));
if (ofp->fail()) v3fatal("Can't write "<<filename);
StatsReport reporter (ofp);