diff --git a/ChangeLog b/ChangeLog
index c80bf7f94..c842aca7e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-08-22  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgbaalgos/magic.cc (seen_with_magic, seen_without_magic): Remove.
+
 	* wrap/python/cgi/ltl2tgba.in: Fix display of relations for
 	tgba_bdd_concrete automata.
 
diff --git a/src/tgbaalgos/magic.cc b/src/tgbaalgos/magic.cc
index c3834e9e6..0ba49f16a 100644
--- a/src/tgbaalgos/magic.cc
+++ b/src/tgbaalgos/magic.cc
@@ -5,10 +5,6 @@
 
 namespace spot
 {
-
-  const unsigned char seen_without_magic = 1;
-  const unsigned char seen_with_magic = 2;
-
   magic_search::magic_search(const tgba_tba_proxy* a)
     : a(a), x(0)
   {