diff options
Diffstat (limited to 'src/expr/mkkind')
| -rwxr-xr-x | src/expr/mkkind | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind index a417b7871..ab80224eb 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -106,7 +106,7 @@ function register_kind { nc=$2 comment=$3 - kind_decls="${kind_decls} $r, /*! $comment */ + kind_decls="${kind_decls} $r, /**< $comment */ " kind_printers="${kind_printers} case $r: out << \"$r\"; break; " |