From 23d8820582dfe8cdc011995855ded95266eec6e2 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Sat, 15 Feb 2014 14:08:33 +0100
Subject: [PATCH] + Fix segmentation fault

---
 src/App/Document.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/App/Document.cpp b/src/App/Document.cpp
index b1c42135b0..000517be26 100644
--- 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)