diff --git a/src/ast/pattern/expr_pattern_match.cpp b/src/ast/pattern/expr_pattern_match.cpp
index 86cad58f8..e18831650 100644
--- a/src/ast/pattern/expr_pattern_match.cpp
+++ b/src/ast/pattern/expr_pattern_match.cpp
@@ -388,7 +388,10 @@ expr_pattern_match::initialize(char const * spec_string) {
 
     std::istringstream is(spec_string);
     cmd_context      ctx(true, &m_manager);
+    bool ps = ctx.print_success_enabled();
+    ctx.set_print_success(false);
     VERIFY(parse_smt2_commands(ctx, is));
+    ctx.set_print_success(ps);
 
     ptr_vector<expr>::const_iterator it  = ctx.begin_assertions();
     ptr_vector<expr>::const_iterator end = ctx.end_assertions();