3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

Return significand bits correctly (dotnet API). Fixes #4584

This commit is contained in:
Iain Scott 2020-07-22 16:57:33 +01:00 committed by GitHub
parent ed58175e1b
commit b6867d69c2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -38,7 +38,7 @@ namespace Microsoft.Z3
/// <summary>
/// The number of significand bits.
/// </summary>
public uint SBits { get { return ((FPSort)Sort).EBits; } }
public uint SBits { get { return ((FPSort)Sort).SBits; } }
#region Internal
/// <summary> Constructor for FPExpr </summary>