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 fc35025c604c0f34202744f7af4686f74e596fc5..52f399020a54fed4db94461ff784c50e8c368c9b 100644 (file)
--- a/src/Headers/flagSpec.h
+++ b/src/Headers/flagSpec.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -10,7 +10,7 @@
 # ifndef flagSpec_H
 # define flagSpec_H
 
-/*@private@*/ typedef struct
+/*:private:*/ typedef struct
 {
   cstring name;
   flagcode code; 
@@ -28,7 +28,7 @@ struct s_flagSpec
 /*@constant null flagSpec flagSpec_undefined; @*/
 # define flagSpec_undefined  ((flagSpec) NULL)
 
-extern /*@falsenull@*/ bool flagSpec_isDefined (flagSpec p_e) /*@*/ ;
+extern /*@falsewhennull@*/ bool flagSpec_isDefined (flagSpec p_e) /*@*/ ;
 # define flagSpec_isDefined(e)        ((e) != flagSpec_undefined)
 
 extern /*@only@*/ flagSpec flagSpec_createPlain (/*@only@*/ cstring) ;