From 571e345d07108ddfc28277cde018a2d742eb2773 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 9 Jun 2020 14:39:02 -0700
Subject: [PATCH] add mkStringSort

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/Context.cs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 0293fc76a..6c711c185 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -218,10 +218,17 @@ namespace Microsoft.Z3
         /// </summary>
         public BitVecSort MkBitVecSort(uint size)
         {
-
             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.