From ef7f96a545ecfe2cfbf67854b40cebe10cb553c1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 21 May 2015 10:49:05 +0200
Subject: [PATCH] * doc/org/satmin.org: Missing name on dot output.

---
 doc/org/satmin.org | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/org/satmin.org b/doc/org/satmin.org
index eb137ae75..46b04cd74 100644
--- a/doc/org/satmin.org
+++ b/doc/org/satmin.org
@@ -100,14 +100,15 @@ We can draw it:
 #+BEGIN_SRC sh :results verbatim :exports code
 ltl2tgba -D -x sat-minimize "GF(a <-> XXb)"
 #+END_SRC
-#+RESULTS:
+#+RESULTS: gfaexxb3
 #+begin_example
 digraph G {
   rankdir=LR
+  node [shape="circle"]
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]