From e1388a838c21f9b0a87495376ab8ca99a87c90e6 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 19 Nov 2018 18:58:09 +0700
Subject: [PATCH] Fix precondition in Z3_get_symbol_string doc comment.

---
 src/api/z3_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index be463b1b0..a153f674b 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -3889,7 +3889,7 @@ extern "C" {
     /**
        \brief Return the symbol name.
 
-       \pre Z3_get_symbol_string(s) == Z3_STRING_SYMBOL
+       \pre Z3_get_symbol_kind(s) == Z3_STRING_SYMBOL
 
        \warning The returned buffer is statically allocated by Z3. It will
        be automatically deallocated when #Z3_del_context is invoked.