Merge pull request #4585 from iscottb122/dotnet_fp_significand

Return significand bits correctly (dotnet API). Fixes #4584
Z3Prover · Jul 22, 2020 · 640cf18 · 640cf18
2 parents ed58175 + b6867d6
commit 640cf18
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>