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();
         }