From 41d1c340675961d6415362485594c0516a3af7b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Mar 2022 12:33:15 -0700
Subject: [PATCH] remove else case

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/Context.cs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index c8698277c..a0676b4e2 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -986,14 +986,11 @@ namespace Microsoft.Z3
             Debug.Assert(ts.All(a => a != null));
             CheckContextMatch<BoolExpr>(ts);
 
-            return ts.Any()
-                ? ts
-                    .Aggregate(MkFalse(), (r, t) =>
+            return ts.Aggregate(MkFalse(), (r, t) =>
                     {
                         using (r)
                             return MkXor(r, t);
-                    })
-                : MkFalse();
+                    });
         }
 
         /// <summary>