From 1b648437b76c87114ceea317702cccd5ed8fc7a4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Jul 2021 17:42:34 +0200 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 4403d1605..792b038e9 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -253,8 +253,13 @@ namespace z3 { \brief Return the Bit-vector sort of size \c sz. That is, the sort for bit-vectors of size \c sz. */ sort bv_sort(unsigned sz); + /** - \brief Return the sort for ASCII strings. + \brief Return the sort for Unicode characters. + */ + sort char_sort(); + /** + \brief Return the sort for Unicode strings. */ sort string_sort(); /**