Fixes after removing -unrecogcomments flag for make splintme.

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

diff --git a/src/Headers/fileTable.h b/src/Headers/fileTable.h
index d5ec489fb44ddad3a69716c0c942802fd7303c82..607bec1004248f52196f140b00622f59137a095e 100644 (file)
--- a/src/Headers/fileTable.h
+++ b/src/Headers/fileTable.h
@@ -20,7 +20,7 @@
 typedef enum { FILE_NORMAL, FILE_LSLTEMP, FILE_NODELETE,
               FILE_HEADER, FILE_XH, FILE_MACROS, FILE_METASTATE } fileType;
 
-/*@private@*/ typedef struct
+/*:private:*/ typedef struct
 {
   bool     ftemp     BOOLBITS;
   bool     fsystem   BOOLBITS;