From bbba8ca96657b8509a80d2af1104046dd319a806 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 10 Jul 2003 08:26:23 +0000
Subject: [PATCH] Spot wants `^', not `xor'. * src/SpotWrapper.hh
 (SpotWrapper::SPOT_XOR): Declare. * src/SpotWrapper.cc
 (SpotWrapper::SPOT_XOR): Define. (SpotWrapper::translateFormula): Use
 SPOT_XOR.

---
 lbtt/ChangeLog          | 7 +++++++
 lbtt/src/SpotWrapper.cc | 3 ++-
 lbtt/src/SpotWrapper.h  | 3 ++-
 3 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog
index 247fcb255..182d71ea0 100644
--- a/lbtt/ChangeLog
+++ b/lbtt/ChangeLog
@@ -1,3 +1,10 @@
+2003-07-10  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	Spot wants `^', not `xor'.
+	* src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare.
+	* src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define.
+	(SpotWrapper::translateFormula): Use SPOT_XOR.
+	
 2003-07-09  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	I want $? = 1 whenever some test fails.
diff --git a/lbtt/src/SpotWrapper.cc b/lbtt/src/SpotWrapper.cc
index cc93e4535..8049802eb 100644
--- a/lbtt/src/SpotWrapper.cc
+++ b/lbtt/src/SpotWrapper.cc
@@ -42,6 +42,7 @@
 
 const char SpotWrapper::SPOT_AND[]     = "&";
 const char SpotWrapper::SPOT_OR[]      = "|";
+const char SpotWrapper::SPOT_XOR[]     = "^";
 
 
 
@@ -88,7 +89,7 @@ void SpotWrapper::translateFormula
 		BinaryOperatorInfixWriter<SPOT_OR>,
 		BinaryOperatorInfixWriter<LtlImplication::infix_symbol>,
 		BinaryOperatorInfixWriter<LtlEquivalence::infix_symbol>,
-		BinaryOperatorInfixWriter<LtlXor::infix_symbol>,
+		BinaryOperatorInfixWriter<SPOT_XOR>,
 		BinaryOperatorInfixWriter<LtlUntil::infix_symbol>,
 		BinaryOperatorInfixWriter<LtlV::infix_symbol>,
 		WriterErrorReporter,
diff --git a/lbtt/src/SpotWrapper.h b/lbtt/src/SpotWrapper.h
index 1975ac2ad..110a9213e 100644
--- a/lbtt/src/SpotWrapper.h
+++ b/lbtt/src/SpotWrapper.h
@@ -70,6 +70,7 @@ private:
 
   static const char SPOT_AND[];                     /* Symbols for */
   static const char SPOT_OR[];                      /* operators.  */
+  static const char SPOT_XOR[];
 };
 
 
@@ -124,7 +125,7 @@ inline string SpotWrapper::commandLine
  *
  * ------------------------------------------------------------------------- */
 {
-  return (string(" ") + input_filename 
+  return (string(" ") + input_filename
 	  + " >" + string(command_line_arguments[4]));
 }