1 files changed, 1 insertions, 1 deletions
diff --git a/serial.c b/serial.c
index 1b3e1732..894c2464 100644
--- a/serial.c
+++ b/serial.c
@@ -103,7 +103,7 @@ int gpsd_open(struct gps_device_t *session)
     }
 
     if (session->saved_baud != -1) {
-        (void)cfsetspeed(&session->ttyset, (speed_t)session->saved_baud);
+        /*@i@*/(void)cfsetspeed(&session->ttyset, (speed_t)session->saved_baud);
 	(void)tcsetattr(session->gpsdata.gps_fd, TCSANOW, &session->ttyset);
 	(void)tcflush(session->gpsdata.gps_fd, TCIOFLUSH);
     }