Fix some doxyments, patch by Peter Collingbourne!

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96101 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 29 insertions, 29 deletions

diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h
index a8719b4d..6cce8031 100644
--- a/include/expr/Lexer.h
+++ b/include/expr/Lexer.h
@@ -20,30 +20,30 @@ namespace klee {
 namespace expr {
   struct Token {
     enum Kind {
-      At,                       /// '@'
-      Arrow,                    /// '->'
-      Colon,                    /// ':'
-      Comma,                    /// ','
-      Comment,                  /// #[^\n]+
-      EndOfFile,                /// <end of file>
-      Equals,                   /// ' = '
-      Identifier,               /// [a-zA-Z_][a-zA-Z0-9._]*
-      KWArray,                  /// 'array'
-      KWFalse,                  /// 'false'
-      KWQuery,                  /// 'query'
-      KWReserved,               /// fp[0-9]+([.].*)?, i[0-9]+
-      KWSymbolic,               /// 'symbolic'
-      KWTrue,                   /// 'true'
-      KWWidth,                  /// w[0-9]+
-      LBrace,                   /// '{'
-      LParen,                   /// '('
-      LSquare,                  /// '['
-      Number,                   /// [+-]?[0-9][a-zA-Z0-9_]+
-      RBrace,                   /// '}'
-      RParen,                   /// ')'
-      RSquare,                  /// ']'
-      Semicolon,                /// ';'
-      Unknown,                   /// <other>
+      At,                       ///< '@'
+      Arrow,                    ///< '->'
+      Colon,                    ///< ':'
+      Comma,                    ///< ','
+      Comment,                  ///< #[^\n]+
+      EndOfFile,                ///< <end of file>
+      Equals,                   ///< ' = '
+      Identifier,               ///< [a-zA-Z_][a-zA-Z0-9._]*
+      KWArray,                  ///< 'array'
+      KWFalse,                  ///< 'false'
+      KWQuery,                  ///< 'query'
+      KWReserved,               ///< fp[0-9]+([.].*)?, i[0-9]+
+      KWSymbolic,               ///< 'symbolic'
+      KWTrue,                   ///< 'true'
+      KWWidth,                  ///< w[0-9]+
+      LBrace,                   ///< '{'
+      LParen,                   ///< '('
+      LSquare,                  ///< '['
+      Number,                   ///< [+-]?[0-9][a-zA-Z0-9_]+
+      RBrace,                   ///< '}'
+      RParen,                   ///< ')'
+      RSquare,                  ///< ']'
+      Semicolon,                ///< ';'
+      Unknown,                  ///< <other>
       
       KWKindFirst=KWArray,
       KWKindLast=KWWidth
diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index b0f36e1c..a1a1bc27 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -143,15 +143,15 @@ public:
     
     // Compare
     Eq,
-    Ne,  /// Not used in canonical form
+    Ne,  ///< Not used in canonical form
     Ult,
     Ule,
-    Ugt, /// Not used in canonical form
-    Uge, /// Not used in canonical form
+    Ugt, ///< Not used in canonical form
+    Uge, ///< Not used in canonical form
     Slt,
     Sle,
-    Sgt, /// Not used in canonical form
-    Sge, /// Not used in canonical form
+    Sgt, ///< Not used in canonical form
+    Sge, ///< Not used in canonical form
 
     LastKind=Sge,