diff options
Diffstat (limited to 'popt/test1.c')
| -rw-r--r-- | popt/test1.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/popt/test1.c b/popt/test1.c index 8d84144df..a41ee09a0 100644 --- a/popt/test1.c +++ b/popt/test1.c @@ -175,8 +175,8 @@ static void resetVars(void) } int main(int argc, const char ** argv) - /*@globals pass2, fileSystem @*/ - /*@modifies pass2, fileSystem @*/ + /*@globals pass2, fileSystem, internalState @*/ + /*@modifies pass2, fileSystem, internalState @*/ { int rc; int ec = 0; |