From f5b54f042c65cc15ee92d15aaa686623787b5ab1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 11 Jun 2017 11:40:39 -0700 Subject: [PATCH] apply correction by ddcc #1069 Signed-off-by: Nikolaj Bjorner --- 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 555e6127e..63f1d15ff 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -5839,7 +5839,7 @@ extern "C" { Unlike `Z3_mk_solver()` this solver - Does not attempt to apply any logic specific tactics. - - Does not changes its behaviour based on whether it used + - Does not change its behaviour based on whether it used incrementally/non-incrementally. Note that these differences can result in very different performance