diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-10-09 09:00:40 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-10-09 09:00:40 -0400 |
commit | a6f20e590e9b485822befc3542caa1f21cdff676 (patch) | |
tree | 0a7a6857dda2943dc5189eff368067f1bd3cf915 /monitor_tnt.c | |
parent | afe4984bb17a7a72764b84d7b959dc0431d0a130 (diff) | |
download | gpsd-a6f20e590e9b485822befc3542caa1f21cdff676.tar.gz |
const and splint cleanup.
Diffstat (limited to 'monitor_tnt.c')
-rw-r--r-- | monitor_tnt.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/monitor_tnt.c b/monitor_tnt.c index 7af64b08..0bf35c24 100644 --- a/monitor_tnt.c +++ b/monitor_tnt.c @@ -14,6 +14,10 @@ static WINDOW *thtmwin; static bool tnt_initialize(void) { + /* splint pacification */ + assert(thtmwin != NULL); + + /*@-globstate@*/ /*@ -onlytrans @*/ thtmwin = derwin(devicewin, 6, 80, 0, 0); (void)wborder(thtmwin, 0, 0, 0, 0, 0, 0, 0, 0), @@ -32,6 +36,7 @@ static bool tnt_initialize(void) (void)wattrset(thtmwin, A_NORMAL); /*@ +onlytrans @*/ return true; + /*@+globstate@*/ } static void tnt_update(void) |