splint cleanup.

1 files changed, 2 insertions, 0 deletions

diff --git a/packet.c b/packet.c
index 8b107d1c..c09c9e7a 100644
--- a/packet.c
+++ b/packet.c
@@ -114,7 +114,9 @@ enum
 static void character_pushback(struct gps_packet_t *lexer)
 /* push back the last character grabbed */
 {
+    /*@-modobserver@*//* looks like a splint bug */
     --lexer->inbufptr;
+    /*@+modobserver@*/
     --lexer->char_counter;
     gpsd_report(LOG_RAW + 2, "%08ld: character pushed back\n", 
 		lexer->char_counter);