From 2171f407033b52aba5dc0c572cf6862e681234cb Mon Sep 17 00:00:00 2001 From: Andrew Wood Date: Sun, 27 Jul 2025 00:34:09 +0100 Subject: [PATCH] Address the splint warning. --- src/main/main.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/main.c b/src/main/main.c index 4184440..5d1eba3 100644 --- a/src/main/main.c +++ b/src/main/main.c @@ -315,7 +315,10 @@ int main(int argc, char **argv) } /* Set the error message prefix. */ + /*@-keeptrans@ */ pv_set_error_prefix(opts->program_name); + /* splint - this function doesn't add an alias or release it. */ + /*@+keeptrans@ */ /* * Allocate our internal state buffer.