+ Fix segmentation fault

2014-02-15 14:08:33 +01:00
parent 5e7a61bc04
commit 31ad938360
1 changed files with 2 additions and 1 deletions
--- a/src/App/Document.cpp
+++ b/src/App/Document.cpp
@@ -928,7 +928,8 @@ void Document::exportGraphviz(std::ostream& out)
        }
    }

-    boost::write_graphviz(out, DepList, boost::make_label_writer(&(names[0])));
+    if (!names.empty())
+        boost::write_graphviz(out, DepList, boost::make_label_writer(&(names[0])));
 }

 bool Document::saveAs(const char* file)