1 files changed, 2 insertions, 2 deletions
diff --git a/gps_json.h b/gps_json.h
index 1888101d..ff90996c 100644
--- a/gps_json.h
+++ b/gps_json.h
@@ -5,10 +5,10 @@
 #define GPS_JSON_COMMAND_MAX	80
 #define GPS_JSON_RESPONSE_MAX	1024
 
-char *json_stringify(char *);
+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 *reply, size_t replylen);
+void json_version_dump(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);