From 62bf41cdb49d381f45293ca759f096f6e767e5c1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 14 Mar 2012 16:34:49 +0100
Subject: [PATCH] Prefer "xor" over "^" when outputing formulae.

* src/ltlvisit/tostring.cc (to_string_visitor): Here.
---
 src/ltlvisit/tostring.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc
index 6cd8b12bc..0c506e97d 100644
--- a/src/ltlvisit/tostring.cc
+++ b/src/ltlvisit/tostring.cc
@@ -1,5 +1,5 @@
-// Copyright (C) 2008, 2010, 2012 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
 // et Marie Curie.
@@ -156,7 +156,7 @@ namespace spot
 	  switch (bo->op())
 	    {
 	    case binop::Xor:
-	      os_ << " ^ ";
+	      os_ << " xor ";
 	      break;
 	    case binop::Implies:
 	      os_ << " -> ";