From b6867d69c2d985cf09ea87451dc4bf66e347157c Mon Sep 17 00:00:00 2001
From: Iain Scott <19819531+iscottb122@users.noreply.github.com>
Date: Wed, 22 Jul 2020 16:57:33 +0100
Subject: [PATCH] Return significand bits correctly (dotnet API). Fixes #4584

---
 src/api/dotnet/FPExpr.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/FPExpr.cs b/src/api/dotnet/FPExpr.cs
index 03ae0bff1..e59cde857 100644
--- a/src/api/dotnet/FPExpr.cs
+++ b/src/api/dotnet/FPExpr.cs
@@ -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>