diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2005-07-15 16:09:23 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2005-07-15 16:09:23 +0000 |
| commit | de30fd44038c64606984e4ab74632310461e9092 (patch) | |
| tree | 4e3577c9250c9b6078daa67ccf4166730749331a /rtcm.h | |
| parent | 26b3eabe62ae2d7e70906079cf20867b39aba292 (diff) | |
| download | gpsd-de30fd44038c64606984e4ab74632310461e9092.tar.gz | |
Splint-clean the RTCM code.
Diffstat (limited to 'rtcm.h')
| -rw-r--r-- | rtcm.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -149,6 +149,6 @@ struct rtcm_ctx { extern void rtcm_init(/*@out@*/struct rtcm_ctx *); extern /*@null@*//*@observer@*/ struct rtcm_msghdr *rtcm_decode(struct rtcm_ctx *, unsigned int); -extern void rtcm_dump(struct rtcm_msghdr *, char[], size_t); +extern void rtcm_dump(struct rtcm_msghdr *, /*@out@*/char[], size_t); /* end */ |