summaryrefslogtreecommitdiff
path: root/gpsmon.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2011-02-21 13:47:16 -0500
committerEric S. Raymond <esr@thyrsus.com>2011-02-21 13:47:16 -0500
commit1af3521ebe01fd6e4c0109def5a1f0d845eab161 (patch)
tree7ab9dfb9d5b17f08443c9b58f9c95ac2edb9b368 /gpsmon.c
parent1b197040450b8d975d2594174e748761ceccd506 (diff)
downloadgpsd-1af3521ebe01fd6e4c0109def5a1f0d845eab161.tar.gz
splint cleanup.
Diffstat (limited to 'gpsmon.c')
-rw-r--r--gpsmon.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/gpsmon.c b/gpsmon.c
index 2c053e70..1c27deb6 100644
--- a/gpsmon.c
+++ b/gpsmon.c
@@ -62,7 +62,7 @@ static bool serial, curses_active;
static int debuglevel = 0;
static WINDOW *statwin, *cmdwin;
/*@null@*/ static WINDOW *packetwin;
-static FILE *logfile;
+/*@null@*/ static FILE *logfile;
static char *type_name;
/*@ -nullassign @*/
static const struct monitor_object_t *monitor_objects[] = {