diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2011-10-10 10:32:59 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2011-10-10 10:32:59 -0400 |
| commit | 53c02f64558aaac3769f4035bd3a832ea8fc299f (patch) | |
| tree | ccab460400b5b1eeebeb83e057d545446e2284b8 /monitor_oncore.c | |
| parent | fd2c45616bb045b400fa61d8a8bf9301dd5e6734 (diff) | |
| download | gpsd-53c02f64558aaac3769f4035bd3a832ea8fc299f.tar.gz | |
The previous round of splint fixups was botched. Remedy this.
Diffstat (limited to 'monitor_oncore.c')
| -rw-r--r-- | monitor_oncore.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/monitor_oncore.c b/monitor_oncore.c index ed0dc457..ed2d1dc7 100644 --- a/monitor_oncore.c +++ b/monitor_oncore.c @@ -78,9 +78,6 @@ static bool oncore_initialize(void) /*@-globstate@*/ unsigned int i; - /* splint pacification */ - assert(Aywin != NULL); - /*@ -onlytrans @*/ Ea1win = subwin(devicewin, 5, 80, 1, 0); Eawin = subwin(devicewin, MAXTRACKSATS + 3, 27, 6, 0); @@ -93,7 +90,7 @@ static bool oncore_initialize(void) /*@ +onlytrans @*/ if (Ea1win == NULL || Eawin == NULL || Bbwin == NULL || Enwin == NULL - || Bowin == NULL || Aswin == NULL || Atwin == NULL) + || Bowin == NULL || Aswin == NULL || Atwin == NULL || Aywin == NULL) return false; (void)syncok(Ea1win, true); |