Address the splint warning.

This commit is contained in:
Andrew Wood
2025-07-27 00:34:09 +01:00
parent 960ff1572f
commit 2171f40703
+3
View File
@@ -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.