From 1fa373d6c272223eab35c1a530936a39870a6989 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Mar 2022 08:21:22 -0700
Subject: [PATCH] old bug: unit of xor is false

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

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index b4a88add2..c8698277c 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -993,7 +993,7 @@ namespace Microsoft.Z3
                         using (r)
                             return MkXor(r, t);
                     })
-                : MkTrue();
+                : MkFalse();
         }
 
         /// <summary>