Don't abort if opening a file to export to graphviz fails

This commit is contained in:
Tiago Gomes
2012-12-20 17:11:11 +00:00
parent af8497af6e
commit 2ca31ca14a
5 changed files with 12 additions and 15 deletions

View File

@@ -523,7 +523,7 @@ ConstraintTree::exportToGraphViz (
if (!out.is_open()) {
cerr << "error: cannot open file to write at " ;
cerr << "ConstraintTree::exportToDotFile()" << endl;
abort();
return;
}
out << "digraph {" << endl;
ConstraintTree copy (*this);