1 files changed, 1 insertions, 1 deletions
diff --git a/gpsutils.c b/gpsutils.c
index f05188b6..82bc8524 100644
--- a/gpsutils.c
+++ b/gpsutils.c
@@ -100,7 +100,7 @@ double iso8601_to_unix(/*@in@*/char *isotime)
     double usec;
     struct tm tm;
 
-    dp = strptime(isotime, "%Y-%m-%dT%H:%M:%S", &tm);
+    /*@i1@*/dp = strptime(isotime, "%Y-%m-%dT%H:%M:%S", &tm);
     if (*dp == '.')
 	usec = strtod(dp, NULL);
     else