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

Z3Prover · Jul 22, 2020 · b6867d6 · b6867d6
1 parent ed58175
commit b6867d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/dotnet/FPExpr.cs b/src/api/dotnet/FPExpr.cs
@@ -38,7 +38,7 @@ public class FPExpr : Expr
         /// <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>