From 6db90a9333c0e44fca53cfb4d463c1a5189de6cb Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Wed, 23 May 2018 23:58:08 +0700 Subject: [PATCH] Fix missing word in C++ API docs. --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 8d7825335..eef5d7904 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -187,7 +187,7 @@ namespace z3 { \brief The C++ API uses by defaults exceptions on errors. For applications that don't work well with exceptions (there should be only few) you have the ability to turn off exceptions. The tradeoffs are that applications - have to very careful about using check_error() after calls that may result in an + have to be very careful about using check_error() after calls that may result in an erroneous state. */ void set_enable_exceptions(bool f) { m_enable_exceptions = f; }