From 71ac40ca238648e5a42726c01090f42260ead7b6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Nov 2020 11:45:05 -0800
Subject: [PATCH] fix #4793

---
 src/api/dotnet/Symbol.cs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Symbol.cs b/src/api/dotnet/Symbol.cs
index afefdf3df..c0e1e3e73 100644
--- a/src/api/dotnet/Symbol.cs
+++ b/src/api/dotnet/Symbol.cs
@@ -102,7 +102,10 @@ namespace Microsoft.Z3
         /// <returns>A hash code</returns>
         public override int GetHashCode()
         {
-            return (int)NativeObject;
+            if (IsIntSymbol())
+                return ((IntSymbol)this).Int;
+            else 
+	        return ((StringSymbol)this).String.GetHashCode();
         }