From 3c7c70b2eb92dd6b225c5025b2d8b9e4c337280b Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Thu, 18 Jul 2013 10:35:35 -0400
Subject: [PATCH] poset: to_dot also draw isolated nodes

Signed-off-by: Jean Privat <jean@pryen.org>
---
 src/poset.nit |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/poset.nit b/src/poset.nit
index aca5d32..0a4a4b9 100644
--- a/src/poset.nit
+++ b/src/poset.nit
@@ -133,6 +133,7 @@ class POSet[E: Object]
 		#var f = stdout
 		f.write "digraph \{\n"
 		for x in elements.keys do
+			f.write "\"{x}\";\n"
 			var xe = self.elements[x]
 			for y in xe.dtos do
 				if self.has_edge(y,x) then
-- 
1.7.9.5