From fc227e3c9613cb573a8048c68df0d70742c25dea Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 22 Dec 2012 00:50:32 +0000
Subject: [PATCH] .NET API documentation bugfixes

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

diff --git a/src/api/dotnet/Expr.cs b/src/api/dotnet/Expr.cs
index f4a63a61b..53bf4d4f0 100644
--- a/src/api/dotnet/Expr.cs
+++ b/src/api/dotnet/Expr.cs
@@ -1311,7 +1311,7 @@ namespace Microsoft.Z3
 
         #region Relational Terms
         /// <summary>
-        /// Indicates whether the term is of an array sort.
+        /// Indicates whether the term is of relation sort.
         /// </summary>
         public bool IsRelation
         {
diff --git a/src/api/dotnet/Params.cs b/src/api/dotnet/Params.cs
index c33728491..9a814b2ec 100644
--- a/src/api/dotnet/Params.cs
+++ b/src/api/dotnet/Params.cs
@@ -23,7 +23,7 @@ using System.Diagnostics.Contracts;
 namespace Microsoft.Z3
 {
     /// <summary>
-    /// A ParameterSet represents a configuration in the form of Symbol/value pairs.
+    /// A Params objects represents a configuration in the form of Symbol/value pairs.
     /// </summary>
     [ContractVerification(true)]
     public class Params : Z3Object