From 56fb1615327b75567bbf2b3c5c64806f7ba6d9ff Mon Sep 17 00:00:00 2001
From: Clemens Eisenhofer <56730610+CEisenhofer@users.noreply.github.com>
Date: Sun, 21 Aug 2022 21:40:38 +0200
Subject: [PATCH] ADT-constructor generation crashed in .NET/Java when no (=
 default) fields are given (#6287)

---
 src/api/dotnet/Context.cs | 2 +-
 src/api/java/Context.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 8896904dd..af982b2d4 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -124,7 +124,7 @@ namespace Microsoft.Z3
         /// </summary>
         internal Symbol[] MkSymbols(string[] names)
         {
-            if (names == null) return null;
+            if (names == null) return new Symbol[0];
             Symbol[] result = new Symbol[names.Length];
             for (int i = 0; i < names.Length; ++i) result[i] = MkSymbol(names[i]);
             return result;
diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 4582439ec..bb3f6fe8e 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -110,7 +110,7 @@ public class Context implements AutoCloseable {
     Symbol[] mkSymbols(String[] names)
     {
         if (names == null)
-            return null;
+            return new Symbol[0];
         Symbol[] result = new Symbol[names.length];
         for (int i = 0; i < names.length; ++i)
             result[i] = mkSymbol(names[i]);