From f647b12a2d169619bd48c605ec476612ca3c0a72 Mon Sep 17 00:00:00 2001
From: Andrew Wood <andrew.wood@ivarch.com>
Date: Fri, 20 Mar 2026 22:11:19 +0000
Subject: [PATCH] Pass through "make indent" for consistency (#67).

---
 src/main/options.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/options.c b/src/main/options.c
index 879f3e3..ead226e 100644
--- a/src/main/options.c
+++ b/src/main/options.c
@@ -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 *));