More splint cleanup. All regression tests pass.

1 files changed, 1 insertions, 1 deletions

diff --git a/gps_json.h b/gps_json.h
index ff90996c..40dba1e0 100644
--- a/gps_json.h
+++ b/gps_json.h
@@ -8,7 +8,7 @@
 char *json_stringify(/*@out@*/char *, size_t, /*@in@*/const char *);
 int json_watch_read(const char *, struct policy_t *, const char **);
 int json_device_read(const char *, struct devconfig_t *, const char **);
-void json_version_dump(char *, size_t);
+void json_version_dump(/*@out@*/char *, size_t);
 void json_tpv_dump(struct gps_data_t *, struct gps_fix_t *, char *, size_t);
 void json_sky_dump(struct gps_data_t *, char *, size_t);
 void json_device_dump(struct gps_device_t *, char *, size_t);