From 02c793249635ca25e1d611125074e6afdd91533f Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 16 Dec 2010 00:36:53 +0000 Subject: minor fixes for correct doxygen output --- src/expr/kind_template.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/expr/kind_template.h') diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 718fd58f4..3b1232772 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -28,10 +28,10 @@ namespace CVC4 { namespace kind { enum Kind_t { - UNDEFINED_KIND = -1, /*! undefined */ - NULL_EXPR, /*! Null kind */ + UNDEFINED_KIND = -1, /**< undefined */ + NULL_EXPR, /**< Null kind */ ${kind_decls} - LAST_KIND + LAST_KIND /**< marks the upper-bound of this enumeration */ };/* enum Kind_t */ -- cgit v1.2.3