Merge from master

This commit is contained in:
Wilson Snyder
2018-07-14 19:27:51 -04:00
11 changed files with 16 additions and 14 deletions
+1 -1
View File
@@ -244,7 +244,7 @@ void V3Stats::statsReport() {
// Open stats file
string filename = v3Global.opt.makeDir()+"/"+v3Global.opt.prefix()+"__stats.txt";
std::ofstream* ofp (V3File::new_ofstream(filename));
if (ofp->fail()) v3fatalSrc("Can't write "<<filename);
if (ofp->fail()) v3fatal("Can't write "<<filename);
StatsReport reporter (ofp);