Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / src / ctbase.i

diff --git a/src/ctbase.i b/src/ctbase.i
index 49f3e257644cdb715de398c679f36ef6d0421ed6..a8ee579148be33bd7e0ba187bf308598ac191d7c 100644 (file)
--- a/src/ctbase.i
+++ b/src/ctbase.i
@@ -40,7 +40,7 @@ abst_typedef /*@null@*/ struct s_ctbase *ctbase;
    ((cid) == CT_ABST || (cid) == CT_USER || (cid) == CT_NUMABST)
 /*@=macrofcndecl@*/ /*@=macroparams@*/
 
-/*@private@*/ typedef struct {
+/*:private:*/ typedef struct {
   ctkind kind;
   ctbase ctbase; 
   ctype base;     /* type I point to (or element of array) */