diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2008-07-16 02:34:44 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2008-07-16 02:34:44 +0000 |
commit | a4dce32bcbbc3874b1d4a026c601c9494600e654 (patch) | |
tree | 52fefd7c0da30ead1831b4f6032b722172faf618 /rtcmdecode.c | |
parent | a6587ae8b6c3a3e27271b0c8e440437e58297755 (diff) | |
download | gpsd-a4dce32bcbbc3874b1d4a026c601c9494600e654.tar.gz |
splint cleanup.
Diffstat (limited to 'rtcmdecode.c')
-rw-r--r-- | rtcmdecode.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtcmdecode.c b/rtcmdecode.c index 092b4f01..79e73728 100644 --- a/rtcmdecode.c +++ b/rtcmdecode.c @@ -29,7 +29,7 @@ void gpsd_report(int errlevel, const char *fmt, ... ) } } -/*@ -compdestroy @*/ +/*@ -compdestroy -compdef -usedef @*/ static void decode(FILE *fpin, FILE *fpout) /* RTCM-104 bits on fpin to dump format on fpout */ { @@ -55,7 +55,7 @@ static void decode(FILE *fpin, FILE *fpout) } } } -/*@ +compdestroy @*/ +/*@ +compdestroy +compdef +usedef @*/ /*@ -compdestroy @*/ static void pass(FILE *fpin, FILE *fpout) |