More splint cleanup.

1 files changed, 3 insertions, 3 deletions

diff --git a/libgps.c b/libgps.c
index c308504d..043cb17c 100644
--- a/libgps.c
+++ b/libgps.c
@@ -460,8 +460,8 @@ static void gps_unpack(char *buf, struct gps_data_t *gpsdata)
 		    gpsdata->profiling = (sp[2] == '1');
 		    break;
 		case '$':
-		    /*@ +matchanyintegral @*/
-		    (void)sscanf(sp, "$=%s %d %lf %lf %lf %lf %lf %lf", 
+		    /*@ +matchanyintegral -formatcode @*/
+		    (void)sscanf(sp, "$=%s %zd %lf %lf %lf %lf %lf %lf", 
 			   gpsdata->tag,
 			   &gpsdata->sentence_length,
 			   &gpsdata->fix.time, 
@@ -470,7 +470,7 @@ static void gps_unpack(char *buf, struct gps_data_t *gpsdata)
 			   &gpsdata->d_decode_time, 
 			   &gpsdata->poll_time, 
 			   &gpsdata->emit_time);
-		    /*@ -matchanyintegral @*/
+		    /*@ -matchanyintegral +formatcode @*/
 		    break;
 		}
 	    }