diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2009-09-11 11:45:08 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2009-09-11 11:45:08 +0000 |
commit | b87239ee912addfe67d16dc3309d4f1acb38ed75 (patch) | |
tree | c4eb827c4a9d169e2b69ce5e5afdf46353e8aa2f /driver_navcom.c | |
parent | 657a827ed48e346b43b611b1bd48bbbb7cefc3f1 (diff) | |
download | gpsd-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.c | 2 |
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), " |