From 6877f378bdfc533a5cb9f058f30ee38d648dfc91 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Nov 2003 14:19:14 +0000
Subject: [PATCH] * src/tgbaparse/tgbaparse.yy: Remove a random character. *
 src/tgba/formula2bdd.cc: Include cassert.

---
 ChangeLog                  | 5 +++++
 src/tgba/formula2bdd.cc    | 1 +
 src/tgbaparse/tgbaparse.yy | 2 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index d2f1ff692..e2f15e84c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-11-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaparse/tgbaparse.yy: Remove a random character.
+	* src/tgba/formula2bdd.cc: Include cassert.
+
 2003-11-24  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	Explicit automata can now have arbitrary logic formula on their
diff --git a/src/tgba/formula2bdd.cc b/src/tgba/formula2bdd.cc
index eccbcced2..062d4c8a9 100644
--- a/src/tgba/formula2bdd.cc
+++ b/src/tgba/formula2bdd.cc
@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include <cassert>
 #include "formula2bdd.hh"
 #include "ltlast/allnodes.hh"
 #include "ltlast/visitor.hh"
diff --git a/src/tgbaparse/tgbaparse.yy b/src/tgbaparse/tgbaparse.yy
index 3d22c448e..dd373e5fd 100644
--- a/src/tgbaparse/tgbaparse.yy
+++ b/src/tgbaparse/tgbaparse.yy
@@ -106,7 +106,7 @@ cond_list:
        {
 	 $$ = new std::list<pair>;
        }
-       | cond_list string§
+       | cond_list string
        {
 	 if (*$2 != "")
 	   {