Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / src / Headers / genericTable.h

diff --git a/src/Headers/genericTable.h b/src/Headers/genericTable.h
index bf9a391a70d095b89d972648366710c3c14aafbb..52b0722fa8819de40cd4f3088ef8e11ebe887614 100644 (file)
--- a/src/Headers/genericTable.h
+++ b/src/Headers/genericTable.h
@@ -17,7 +17,7 @@
    abst_typedef null struct _genericTable *genericTable;
 */
 
-/*@private@*/ typedef struct
+/*:private:*/ typedef struct
 {
   /*@only@*/ cstring key;
   /*@only@*/ void *val;