Cleaned up flags to generate manual help.

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

diff --git a/src/Headers/functionClause.h b/src/Headers/functionClause.h
index 681491473fa9d6ed4336719ab9bdf6a4df17fee5..aeb04f2949313599a18700c0967d79df67fb5bcc 100644 (file)
--- a/src/Headers/functionClause.h
+++ b/src/Headers/functionClause.h
@@ -23,11 +23,11 @@
 struct s_functionClause {
   functionClauseKind kind;
   union {
-    globalsClause globals;
-    modifiesClause modifies;
-    warnClause warn;
-    stateClause state;
-    functionConstraint constraint;
+    /*@null@*/ globalsClause globals;
+    /*@null@*/ modifiesClause modifies;
+    /*@null@*/ warnClause warn;
+    /*@null@*/ stateClause state;
+    /*@null@*/ functionConstraint constraint;
   } val;
 } ;