From c9b34d684ac6dd556d3ff38ade412b5d7a19138e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 16 Jun 2011 11:55:05 +0200
Subject: [PATCH] * src/ltlvisit/tostring.cc: Output <-> and -> instead of <=>
 and =>.

---
 src/ltlvisit/tostring.cc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc
index d0d1e8bdb..e01cdefb8 100644
--- a/src/ltlvisit/tostring.cc
+++ b/src/ltlvisit/tostring.cc
@@ -1,7 +1,7 @@
-// Copyright (C) 2008, 2010, 2011 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2008, 2010, 2012 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -142,10 +142,10 @@ namespace spot
 	      os_ << " ^ ";
 	      break;
 	    case binop::Implies:
-	      os_ << " => ";
+	      os_ << " -> ";
 	      break;
 	    case binop::Equiv:
-	      os_ << " <=> ";
+	      os_ << " <-> ";
 	      break;
 	    case binop::U:
 	      os_ << " U ";