From cf4dc527c420a1e5e221f47aec7757fd1b0773ff Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 3 Jan 2015 16:49:42 +0000
Subject: [PATCH] .NET FPA API bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/dotnet/Context.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 986efc94d..f3e6220cf 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -3590,7 +3590,7 @@ namespace Microsoft.Z3
         public FPSort MkFPSort32()
         {
             Contract.Ensures(Contract.Result<FPSort>() != null);
-            return new FPSort(this, Native.Z3_mk_fpa_sort_16(nCtx));
+            return new FPSort(this, Native.Z3_mk_fpa_sort_32(nCtx));
         }
 
         /// <summary>
@@ -3617,7 +3617,7 @@ namespace Microsoft.Z3
         public FPSort MkFPSortQuadruple()
         {
             Contract.Ensures(Contract.Result<FPSort>() != null);
-            return new FPSort(this, Native.Z3_mk_fpa_sort_double(nCtx));
+            return new FPSort(this, Native.Z3_mk_fpa_sort_quadruple(nCtx));
         }
 
         /// <summary>