More splint cleanup.

1 files changed, 2 insertions, 0 deletions

diff --git a/sirfmon.c b/sirfmon.c
index 6707706f..e5b11f4b 100644
--- a/sirfmon.c
+++ b/sirfmon.c
@@ -920,6 +920,7 @@ int main (int argc, char **argv)
 
     gmt_offset = (int)tzoffset();
 
+    /*@ -branchstate @*/
     while ((option = getopt(argc, argv, "F:vh")) != -1) {
 	switch (option) {
 	case 'F':
@@ -933,6 +934,7 @@ int main (int argc, char **argv)
 	    exit(1);
 	}
     }
+    /*@ +branchstate @*/
     /*@ -nullpass -branchstate @*/
     if (optind < argc) {
 	arg = strdup(argv[optind]);