diff -r 47939f501c81 -r e0b0dcee5e17 src/work/klao/error.h
--- a/src/work/klao/error.h	Sun Jan 09 23:28:18 2005 +0000
+++ b/src/work/klao/error.h	Sun Jan 09 23:44:29 2005 +0000
@@ -191,7 +191,7 @@
 
     /// \brief Returns the filename.
     ///
-    /// Returns "(unknown)" if the filename was not specified.
+    /// Returns \e "(unknown)" if the filename was not specified.
     const char* get_file() const {
       if( file )
 	return file->c_str();
@@ -223,6 +223,7 @@
   };
 
 
+  ///\e
   class AssertionFailedError : public LogicError {
   protected:
     const char *assertion;