From c7a6f85dd249d8f82342cfaa250b3deeeaf02a70 Mon Sep 17 00:00:00 2001
From: Andrew Wood <andrew.wood@ivarch.com>
Date: Tue, 28 Oct 2025 21:39:54 +0000
Subject: [PATCH] Remove unnecessary splint annotation.

---
 src/include/pv-internal.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/include/pv-internal.h b/src/include/pv-internal.h
index 9c18ed2..d69e620 100644
--- a/src/include/pv-internal.h
+++ b/src/include/pv-internal.h
@@ -174,7 +174,6 @@ struct pvstate_s {
 		struct pvwatcheditem_s {	/* array of PID or PID:FD items */
 			pid_t pid;		 /* watched PID */
 			int fd;			 /* watched fd, or -1 for all */
-			/*@null@*/
 			pvwatchfd_t info_array;	 /* watch information for each fd */
 			int array_length;	 /* length of watch info array */
 			bool finished;		 /* "PID:FD": fd closed; or PID gone */