From 0279a1042d6f7088e4628e592dc5ac9ef253bc92 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 23 Apr 2014 18:39:36 +0100
Subject: [PATCH] FPA API documentation fixes

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/dotnet/Context.cs  | 7 +++----
 src/api/dotnet/FPExpr.cs   | 3 ++-
 src/api/dotnet/FPRMExpr.cs | 1 +
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 7ef91f7ac..b654feb7e 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -3506,8 +3506,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a floating point NaN numeral.
-        /// </summary>
-        /// <param name="v">A string representing the value in decimal notation.</param>
+        /// </summary>        
         /// <param name="s">floating point sort.</param>        
         public FPNum MkFPNaN(FPSort s)
         {
@@ -3517,8 +3516,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a floating point Inf numeral.
-        /// </summary>
-        /// <param name="v">A string representing the value in decimal notation.</param>
+        /// </summary>        
         /// <param name="s">floating point sort.</param>   
         /// <param name="negative">indicates whether the result should be negative.</param>
         public FPNum MkFPInf(FPSort s, bool negative)
@@ -3625,6 +3623,7 @@ namespace Microsoft.Z3
         /// <summary>
         /// Floating-point square root
         /// </summary>        
+        /// <param name="rm">rounding mode term</param>        
         /// <param name="t">floating point term</param>        
         public FPExpr MkFPSqrt(FPRMExpr rm, FPExpr t) 
         {
diff --git a/src/api/dotnet/FPExpr.cs b/src/api/dotnet/FPExpr.cs
index 66b3fc10d..0bb1e4c09 100644
--- a/src/api/dotnet/FPExpr.cs
+++ b/src/api/dotnet/FPExpr.cs
@@ -30,7 +30,8 @@ namespace Microsoft.Z3
     /// </summary>
     public class FPExpr : Expr
     {
-        #region Internal        
+        #region Internal
+        /// <summary> Constructor for FPExpr </summary>
         internal protected FPExpr(Context ctx)
             : base(ctx)
         {
diff --git a/src/api/dotnet/FPRMExpr.cs b/src/api/dotnet/FPRMExpr.cs
index fa43a346a..b95816023 100644
--- a/src/api/dotnet/FPRMExpr.cs
+++ b/src/api/dotnet/FPRMExpr.cs
@@ -31,6 +31,7 @@ namespace Microsoft.Z3
     public class FPRMExpr : Expr
     {
         #region Internal
+        /// <summary> Constructor for FPRMExpr </summary>
         internal protected FPRMExpr(Context ctx)
             : base(ctx)
         {