From 6bcc8c3ce1da1ac2f3f3d4ec92a7716f3df17d9f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 6 Sep 2005 11:52:58 +0000
Subject: [PATCH] * src/tgbaalgos/magic.hh: fixme is not a doxygen command. 
 Use bug.

---
 ChangeLog              | 4 ++++
 src/tgbaalgos/magic.hh | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e02fe0158..6ec4456a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2005-09-01  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/magic.hh: \fixme is not a doxygen command.  Use \bug.
+
 2005-08-31  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* README: Update lbtt references.
diff --git a/src/tgbaalgos/magic.hh b/src/tgbaalgos/magic.hh
index 4258eb6f7..9b2a7f547 100644
--- a/src/tgbaalgos/magic.hh
+++ b/src/tgbaalgos/magic.hh
@@ -94,7 +94,7 @@ namespace spot
   ///  }
   /// \endverbatim
   ///
-  /// \fixme The name is misleading.  Magic-search is the algorithm
+  /// \bug The name is misleading.  Magic-search is the algorithm
   /// from \c godefroid.93.pstv, not \c courcoubetis.92.fmsd.
   emptiness_check* explicit_magic_search(const tgba *a,
                                          option_map o = option_map());