From 8eff8eb119f7e1bd6e83f92b2d54deca03d2b07d Mon Sep 17 00:00:00 2001
From: David Detlefs <daviddetlefs@gmail.com>
Date: Tue, 16 Jun 2026 13:42:46 -0700
Subject: [PATCH] Fix "flexible array members" warning.

---
 src/model/func_interp.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/model/func_interp.h b/src/model/func_interp.h
index e531e01cf..e3935e05e 100644
--- a/src/model/func_interp.h
+++ b/src/model/func_interp.h
@@ -40,7 +40,7 @@ class func_entry {
     // m_result and m_args[i] must be ground terms.
 
     expr * m_result;
-    expr * m_args[];
+    expr * m_args[0];
 
     static unsigned get_obj_size(unsigned arity) { return sizeof(func_entry) + arity * sizeof(expr*); }
     func_entry(ast_manager & m, unsigned arity, expr * const * args, expr * result);