fix #4793

Z3Prover · Nov 13, 2020 · 71ac40c · 71ac40c
1 parent cb4e519
commit 71ac40c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/api/dotnet/Symbol.cs b/src/api/dotnet/Symbol.cs
@@ -102,7 +102,10 @@ public override bool Equals(object o)
         /// <returns>A hash code</returns>
         public override int GetHashCode()
         {
-            return (int)NativeObject;
+            if (IsIntSymbol())
+                return ((IntSymbol)this).Int;
+            else 
+	        return ((StringSymbol)this).String.GetHashCode();
         }