diff -r 99a31b399b59 -r 33c6b6e755cd lemon/bin_heap.h
--- a/lemon/bin_heap.h	Tue Apr 14 10:40:33 2009 +0100
+++ b/lemon/bin_heap.h	Wed Apr 15 02:04:37 2009 +0200
@@ -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: