summaryrefslogtreecommitdiff
path: root/driver_navcom.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2009-09-11 11:45:08 +0000
committerEric S. Raymond <esr@thyrsus.com>2009-09-11 11:45:08 +0000
commitb87239ee912addfe67d16dc3309d4f1acb38ed75 (patch)
treec4eb827c4a9d169e2b69ce5e5afdf46353e8aa2f /driver_navcom.c
parent657a827ed48e346b43b611b1bd48bbbb7cefc3f1 (diff)
downloadgpsd-b87239ee912addfe67d16dc3309d4f1acb38ed75.tar.gz
Correct some splint annotations.
The codebase now splints completely clean - no errors, no warnings, no splint croaking on include files it can't handle.
Diffstat (limited to 'driver_navcom.c')
-rw-r--r--driver_navcom.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver_navcom.c b/driver_navcom.c
index 0ae7dac7..7bb9a432 100644
--- a/driver_navcom.c
+++ b/driver_navcom.c
@@ -778,7 +778,7 @@ static gps_mask_t handle_0x86(struct gps_device_t *session)
session->gpsdata.PRN[i] = (int)prn;
session->gpsdata.elevation[i] = (int)ele;
session->gpsdata.azimuth[i] = (int)azm;
- /*@i1@*/s = session->gpsdata.ss[i++] = (float)(p2_snr ? p2_snr : ca_snr) / 4.0;
+ /*@i4@*/s = session->gpsdata.ss[i++] = (float)(p2_snr ? p2_snr : ca_snr) / 4.0;
}
gpsd_report(LOG_IO,
"Navcom: prn = %3u, ele = %02u, azm = %03u, snr = %d (%s), "