remove unused variable

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 11, 2019 · 0c1b68b · 0c1b68b
1 parent c73a87c
commit 0c1b68b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
@@ -3183,7 +3183,6 @@ bool theory_seq::get_length(expr* e, expr_ref& len, literal_vector& lits) {
 
 
 bool theory_seq::branch_nqs() {
-   context & ctx = get_context();
    if (m_nqs.empty()) {
        return false;
    }