From 4af39b432cecc0fd3d3c1e4675154c4914ebad33 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 14 Jun 2013 12:25:43 +0100
Subject: [PATCH] FPA API: dotnet bugfixes

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 452018ae4..7da54c5eb 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -3499,7 +3499,7 @@ namespace Microsoft.Z3
         /// </summary>
         /// <param name="v">A string representing the value in decimal notation.</param>
         /// <param name="s">floating point sort.</param>        
-        public FPNum MkFPNaN(double v, FPSort s)
+        public FPNum MkFPNaN(FPSort s)
         {
             Contract.Ensures(Contract.Result<FPRMNum>() != null);
             return new FPNum(this, Native.Z3_mk_fpa_nan(nCtx, s.NativeObject));
@@ -3511,7 +3511,7 @@ namespace Microsoft.Z3
         /// <param name="v">A string representing the value in decimal notation.</param>
         /// <param name="s">floating point sort.</param>   
         /// <param name="negative">indicates whether the result should be negative.</param>
-        public FPNum MkFPInf(double v, FPSort s, bool negative)
+        public FPNum MkFPInf(FPSort s, bool negative)
         {
             Contract.Ensures(Contract.Result<FPRMNum>() != null);
             return new FPNum(this, Native.Z3_mk_fpa_inf(nCtx, s.NativeObject, negative ? 1 : 0));