diff -r a3402913cffe -r f63e87b9748e lemon/bin_heap.h
--- a/lemon/bin_heap.h	Sat Apr 18 21:54:30 2009 +0200
+++ b/lemon/bin_heap.h	Tue Apr 21 10:34:49 2009 +0100
@@ -73,9 +73,9 @@
     /// The item-int map must be initialized in such way that it assigns
     /// \c PRE_HEAP (<tt>-1</tt>) to any element to be put in the heap.
     enum State {
-      IN_HEAP = 0,    ///< \e
-      PRE_HEAP = -1,  ///< \e
-      POST_HEAP = -2  ///< \e
+      IN_HEAP = 0,    ///< = 0.
+      PRE_HEAP = -1,  ///< = -1.
+      POST_HEAP = -2  ///< = -2.
     };
 
   private: