From 3a2db1c793289014f2a8d487b9bbbbb23ea57e56 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 3 Jan 2015 15:15:55 +0000
Subject: [PATCH] FPA API cosmetics
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
src/api/dotnet/FPSort.cs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/api/dotnet/FPSort.cs b/src/api/dotnet/FPSort.cs
index 8d8560e53..e1ad62d49 100644
--- a/src/api/dotnet/FPSort.cs
+++ b/src/api/dotnet/FPSort.cs
@@ -29,12 +29,12 @@ namespace Microsoft.Z3
/// <summary>
/// The number of exponent bits.
/// </summary>
- public uint EBits { get { return Native.Z3_mk_fpa_get_ebits(Context.nCtx, NativeObject); } }
+ public uint EBits { get { return Native.Z3_fpa_get_ebits(Context.nCtx, NativeObject); } }
/// <summary>
/// The number of significand bits.
/// </summary>
- public uint SBits { get { return Native.Z3_mk_fpa_get_ebits(Context.nCtx, NativeObject); } }
+ public uint SBits { get { return Native.Z3_fpa_get_sbits(Context.nCtx, NativeObject); } }
#region Internal
internal FPSort(Context ctx, IntPtr obj)