Pass through "make indent" for consistency (#67).

2026-03-20 22:11:19 +00:00
parent ff8e396500
commit f647b12a2d
1 changed files with 1 additions and 1 deletions
@@ -98,7 +98,7 @@ void opts_free( /*@only@ */ opts_t opts)
 bool opts_add_file(opts_t opts, const char *filename)
 {
 	/*@-branchstate@ */
-	if (((1+opts->argc) >= opts->argv_length) || (NULL == opts->argv)) {
+	if (((1 + opts->argc) >= opts->argv_length) || (NULL == opts->argv)) {
 		opts->argv_length = opts->argc + 10;
 		/*@-keeptrans@ */
 		opts->argv = realloc(opts->argv, opts->argv_length * sizeof(char *));