Petr Slanky's latest Evermore patch and some splint cleanups.

1 files changed, 1 insertions, 1 deletions

diff --git a/gpsutils.c b/gpsutils.c
index c0547bc3..ade5cd57 100644
--- a/gpsutils.c
+++ b/gpsutils.c
@@ -163,7 +163,7 @@ double gpstime_to_unix(int week, double tow)
     return fixtime;
 }
 
-void unix_to_gpstime(double unixtime, int *week, double *tow)
+void unix_to_gpstime(double unixtime, /*@out@*/int *week, /*@out@*/double *tow)
 {
     unixtime -= GPS_EPOCH;
     *week = (int)(unixtime / SECS_PER_WEEK);