diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 6c711c185..8c1f8eb0e 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -221,14 +221,6 @@ namespace Microsoft.Z3
             return new BitVecSort(this, Native.Z3_mk_bv_sort(nCtx, size));
         }
 
-        /// <summary>
-        /// Create a new string sort.
-        /// </summary>
-        public SeqSort MkStringSort()
-        {
-            Debug.Assert(s != null);
-            return new SeqSort(this, Native.Z3_mk_string_sort(nCtx));
-        }
 
         /// <summary>
         /// Create a new sequence sort.