From f4abb7eb48cadcd9428112c10f9bd286e845c9e8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 4 Jul 2018 16:26:05 -0700 Subject: [PATCH] fix c++ Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index a5021360d..e1f263e17 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -167,11 +167,6 @@ namespace z3 { } void check_parser_error() const { - Z3_error_code e = Z3_get_error_code(*this); - if (e != Z3_OK && enable_exceptions()) { - Z3_string s = Z3_get_error_message(*this); - if (s && *s) Z3_THROW(exception(s)); - } check_error(); }