From d22fb0b61f0a4638c1d4f0f52f04a6dfc2a4aed2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 13 Oct 2012 17:56:15 +0200
Subject: [PATCH] * src/ltlvisit/lbt.cc: Add missing case for Xor.

---
 src/ltlvisit/lbt.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/lbt.cc b/src/ltlvisit/lbt.cc
index c153b038d..64c0ee7de 100644
--- a/src/ltlvisit/lbt.cc
+++ b/src/ltlvisit/lbt.cc
@@ -90,7 +90,7 @@ namespace spot
 	  switch (bo->op())
 	    {
 	    case binop::Xor:
-
+	      os_ << "^ ";
 	      break;
 	    case binop::Implies:
 	      os_ << "i ";