From 9856fc48b5a3cc949eda67f10abd4d1ad302ec00 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Wed, 16 Feb 2011 15:44:17 -0500
Subject: splint cleanup.  All regression tests pass.

---
 gpsdecode.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gpsdecode.c')

diff --git a/gpsdecode.c b/gpsdecode.c
index 792a4e16..3058e9dd 100644
--- a/gpsdecode.c
+++ b/gpsdecode.c
@@ -358,7 +358,7 @@ static void aivdm_csv_dump(struct ais_t *ais, char *buf, size_t buflen)
 }
 #endif
 
-/*@ -compdestroy -compdef -usedef @*/
+/*@ -compdestroy -compdef -usedef -uniondef @*/
 static void decode(FILE * fpin, FILE * fpout)
 /* sensor data on fpin to dump format on fpout */
 {
@@ -412,7 +412,7 @@ static void decode(FILE * fpin, FILE * fpout)
 	}
     }
 }
-/*@ +compdestroy +compdef +usedef @*/
+/*@ +compdestroy +compdef +usedef +uniondef @*/
 
 /*@ -compdestroy @*/
 static void encode(FILE * fpin, FILE * fpout)
-- 
cgit v1.2.1