From be4418257ef39861bb5cc8fca5d4e0f43a765509 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 5 Feb 2016 15:58:41 +0100
Subject: [PATCH] * spot/twaalgos/dot.cc: Rename a variable.

---
 spot/twaalgos/dot.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/spot/twaalgos/dot.cc b/spot/twaalgos/dot.cc
index 029c783c4..95aa8296f 100644
--- a/spot/twaalgos/dot.cc
+++ b/spot/twaalgos/dot.cc
@@ -70,7 +70,7 @@ namespace spot
       bool opt_bullet = false;
       bool opt_bullet_but_buchi = false;
       bool opt_all_bullets = false;
-      bool opt_numbered_trans = false;
+      bool opt_ordered_edges_ = false;
       bool opt_want_state_names_ = true;
       unsigned opt_shift_sets_ = 0;
       std::string opt_font_;
@@ -206,7 +206,7 @@ namespace spot
 	      opt_name_ = false;
 	      break;
 	    case 'o':
-	      opt_numbered_trans = true;
+	      opt_ordered_edges_ = true;
 	      break;
 	    case 'r':
 	      opt_html_labels_ = true;
@@ -550,7 +550,7 @@ namespace spot
 		}
 	    os_ << '>';
 	  }
-	if (opt_numbered_trans)
+	if (opt_ordered_edges_)
 	  os_ << ", taillabel=\"" << number << '"';
 	if (highlight_edges_)
 	  {