From 7dc2d5fbc101ca87acd367041e7c1420c5762c52 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 31 Oct 2006 16:26:19 +0000
Subject: splint cleanup.

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

(limited to 'gpsd.c')

diff --git a/gpsd.c b/gpsd.c
index 9d6720a3..d5b6af78 100644
--- a/gpsd.c
+++ b/gpsd.c
@@ -377,7 +377,7 @@ static /*@null@*/ /*@observer@*/ struct subscriber_t* allocate_client(void)
     return NULL;
 }
 
-static void detach_client(/*@only@*/ /*@out@*/struct subscriber_t *sub)
+static void detach_client(struct subscriber_t *sub)
 {
     (void)close(sub->fd);
     gpsd_report(4, "detaching %d in detach_client\n", sub_index(sub));
@@ -386,7 +386,7 @@ static void detach_client(/*@only@*/ /*@out@*/struct subscriber_t *sub)
     sub->raw = 0;
     sub->watcher = false;
     sub->active = 0;
-    sub->device = NULL;
+    /*@i1@*/sub->device = NULL;
     sub->buffer_policy = casoc;
     sub->fd = -1;
 }
-- 
cgit v1.2.1