Fixes after removing -unrecogcomments flag for make splintme.

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

diff --git a/src/Headers/flagSpec.h b/src/Headers/flagSpec.h
index 79019b883f44d875c3febf94c43e2444162239ac..52f399020a54fed4db94461ff784c50e8c368c9b 100644 (file)
--- a/src/Headers/flagSpec.h
+++ b/src/Headers/flagSpec.h
@@ -10,7 +10,7 @@
 # ifndef flagSpec_H
 # define flagSpec_H
 
-/*@private@*/ typedef struct
+/*:private:*/ typedef struct
 {
   cstring name;
   flagcode code;