3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

remove redundant method

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-06-09 14:40:17 -07:00
parent 571e345d07
commit bac4726531

View file

@ -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.