From 0d83f99d8df7f30306bbec37b403fdfc513d1aa4 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 28 Jul 2016 18:06:26 +0100
Subject: [PATCH] Fixed comment

---
 src/api/dotnet/InterpolationContext.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/InterpolationContext.cs b/src/api/dotnet/InterpolationContext.cs
index 17e92a40e..3f2feb5a6 100644
--- a/src/api/dotnet/InterpolationContext.cs
+++ b/src/api/dotnet/InterpolationContext.cs
@@ -30,7 +30,7 @@ namespace Microsoft.Z3
         /// <summary>
         /// Constructor.
         /// </summary>
-        /// <remarks><seealso cref="Context.Context(Dictionary&lt;string, string&gt;)"/></remarks>
+        /// <remarks><seealso cref="Context"/></remarks>
         public InterpolationContext(Dictionary<string, string> settings) : base(settings) { }
 
         #region Terms