From 8d3ba7bd7d0b1f9d3db3fde0090c2fd665a38705 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 25 Dec 2025 11:22:11 -0800
Subject: [PATCH] Compiler problem.

---
 src/misc/util/utilAigSim.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/misc/util/utilAigSim.c b/src/misc/util/utilAigSim.c
index 36deb1f0a..a4dcdd1e0 100644
--- a/src/misc/util/utilAigSim.c
+++ b/src/misc/util/utilAigSim.c
@@ -201,8 +201,12 @@ static int ParseMaskString(const char *maskStr, int nCis, uint64_t *varMasks, in
     if (!maskStr || !*maskStr) {
         for (int i = 0; i < nCis; ++i) varMasks[i] = 1ull << i;
         *pnVars = nCis;
-        if (verbose) PrintMaskSegmentsOneLine("default",
-            (int[]){0}, (int[]){nCis}, (int[]){0}, 1, *pnVars, nCis);
+        if (verbose) {
+             int segS[1] = {0};
+             int segW[1] = {nCis};
+             int segG[1] = {0};
+             PrintMaskSegmentsOneLine("default", segS, segW, segG, 1, *pnVars, nCis);
+        }
         return 1;
     }