diff options
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r-- | libgpsd_core.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index 25797a6f..44d42103 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -717,7 +717,7 @@ gps_mask_t gpsd_poll(struct gps_device_t *session) session->gpsdata.dev.path, session->packet.type); if (session->packet.type > COMMENT_PACKET) { - session->observed |= PACKET_TYPEMASK(session->packet.type); + /*@i1@*/session->observed |= PACKET_TYPEMASK(session->packet.type); first_sync = (session->device_type == NULL); for (dp = gpsd_drivers; *dp; dp++) if (session->packet.type == (*dp)->packet_type) { |