mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 14:43:23 +00:00
Code Activity

fix #4793

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-11-13 11:45:05 -08:00
parent cb4e5197fa
commit 71ac40ca23
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api/dotnet/Symbol.cs
View file

@ -102,7 +102,10 @@ namespace Microsoft.Z3
/// <returns>A hash code</returns> /// <returns>A hash code</returns>
public override int GetHashCode() public override int GetHashCode()
{ {
return (int)NativeObject; if (IsIntSymbol())
return ((IntSymbol)this).Int;
else
return ((StringSymbol)this).String.GetHashCode();
} }