From b8bf6087ffeff104941a61d9d13b698daf1a75ef Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 17 Apr 2020 07:34:46 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/smt/theory_seq.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp index 16c318bea..f9fbd8f58 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -5264,9 +5264,6 @@ literal theory_seq::mk_eq_empty(expr* _e, bool phase) { } void theory_seq::add_axiom(literal l1, literal l2, literal l3, literal l4, literal l5) { - static unsigned s_count = 0; - ++s_count; - // SASSERT(s_count != 5); context& ctx = get_context(); literal_vector lits; if (l1 == true_literal || l2 == true_literal || l3 == true_literal || l4 == true_literal || l5 == true_literal) return;