From 1ae7dba01f4ecf02e2567be72894ac8ecfa2bc95 Mon Sep 17 00:00:00 2001
From: jbj <jbj>
Date: Wed, 19 Jun 2002 18:55:19 +0000
Subject: Annotate incondefs in source code.

---
 popt.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'popt.h')

diff --git a/popt.h b/popt.h
index 60d27e6..c756061 100644
--- a/popt.h
+++ b/popt.h
@@ -151,7 +151,7 @@ typedef struct poptItem_s {
  * Empty table marker to enable displaying popt alias/exec options.
  */
 /*@-exportvar@*/
-/*@observer@*/ /*@checked@*/
+/*@unchecked@*/ /*@observer@*/
 extern struct poptOption poptAliasOptions[];
 /*@=exportvar@*/
 #define POPT_AUTOALIAS { NULL, '\0', POPT_ARG_INCLUDE_TABLE, poptAliasOptions, \
@@ -161,7 +161,7 @@ extern struct poptOption poptAliasOptions[];
  * Auto help table options.
  */
 /*@-exportvar@*/
-/*@observer@*/ /*@checked@*/
+/*@unchecked@*/ /*@observer@*/
 extern struct poptOption poptHelpOptions[];
 /*@=exportvar@*/
 #define POPT_AUTOHELP { NULL, '\0', POPT_ARG_INCLUDE_TABLE, poptHelpOptions, \
-- 
cgit v1.2.1