diff -r 73c892335e74 -r 97d978243703 lemon/lp_base.h
--- a/lemon/lp_base.h	Tue Jul 30 15:54:46 2013 +0200
+++ b/lemon/lp_base.h	Mon Aug 05 14:03:29 2013 +0200
@@ -1007,7 +1007,7 @@
 
   public:
 
-    ///\e
+    ///\e \ 
     class UnsupportedFormatError : public Exception
     {
       std::string _format;