From 207735900d66fd7a4d70492cae6fc09bc83321f7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 30 Sep 2015 14:46:44 +0200
Subject: [PATCH] * src/tl/dot.cc: Fix assumption about call orders.

---
 src/tl/dot.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/tl/dot.cc b/src/tl/dot.cc
index da5b4077f..e5e174bdc 100644
--- a/src/tl/dot.cc
+++ b/src/tl/dot.cc
@@ -109,7 +109,11 @@ namespace spot
 
 	for (auto c: f)
 	  {
-	    os_ << "  " << src << " -> " << rec(c);
+	    // Do not merge the next two lines, as there is no
+	    // guarantee that rec will be called before we start
+	    // printing the transition.
+	    int dst = rec(c);
+	    os_ << "  " << src << " -> " << dst;
 	    if (childnum > 0)
 	      os_ << " [taillabel=\"" << childnum << "\"]";
 	    if (childnum == -2)