From 35a57c6dff2d67d18bb551b479cbc775a2d89085 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 7 Apr 2010 10:26:19 +0200
Subject: [PATCH] [lbtt] Accept W and M in lbtt-translate --spot.

* src/SpotWrapper.cc: Translate W and M operators.
---
 lbtt/ChangeLog          | 6 ++++++
 lbtt/src/SpotWrapper.cc | 6 +++---
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog
index cbdc950d8..4a72b3b37 100644
--- a/lbtt/ChangeLog
+++ b/lbtt/ChangeLog
@@ -1,3 +1,9 @@
+2010-04-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Accept W and M in lbtt-translate --spot.
+
+	* src/SpotWrapper.cc: Translate W and M operators.
+
 2010-01-22  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Let "make dvi" work on Ubuntu.
diff --git a/lbtt/src/SpotWrapper.cc b/lbtt/src/SpotWrapper.cc
index 03731763e..abf881e75 100644
--- a/lbtt/src/SpotWrapper.cc
+++ b/lbtt/src/SpotWrapper.cc
@@ -1,5 +1,5 @@
 /*
- *  Copyright (C) 2003, 2004
+ *  Copyright (C) 2003, 2004, 2010
  *  Heikki Tauriainen <Heikki.Tauriainen@tkk.fi>
  *
  *  Derived from SpinWrapper.cc by Alexandre Duret-Lutz <adl@src.lip6.fr>.
@@ -88,8 +88,8 @@ void SpotWrapper::translateFormula
 		BinaryOperatorInfixWriter<SPOT_XOR>,
 		BinaryOperatorInfixWriter<LtlUntil::infix_symbol>,
 		BinaryOperatorInfixWriter<LtlV::infix_symbol>,
-		WriterErrorReporter,
-		WriterErrorReporter,
+		BinaryOperatorInfixWriter<LtlWeakUntil::infix_symbol>,
+		BinaryOperatorInfixWriter<LtlStrongRelease::infix_symbol>,
 		WriterErrorReporter>
     fw(estream);