1 files changed, 2 insertions, 0 deletions
diff --git a/gpsmon.c b/gpsmon.c
index c34d2636..8043a6cf 100644
--- a/gpsmon.c
+++ b/gpsmon.c
@@ -846,8 +846,10 @@ static /*@observer@*/ char *pps_report(struct gps_device_t *session UNUSED,
      * Read access to timedelta is not thread-locked.
      * Instead we're relying on access to floats to be atomic.
      */
+    /*@-type@*/ /* splint is confused about struct timespec */
     timedelta = td->real.tv_sec - td->clock.tv_sec;
     timedelta += (td->real.tv_nsec - td->clock.tv_nsec) / 1e9;
+    /*@+type@*/
     packet_log("-------------------------------------" 
 	       " PPS "
 	       "-------------------------------------\n");