From 0c1b68b598ee3532f72fa030a326c617683b0d87 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 Nov 2019 07:13:04 -0800
Subject: [PATCH] remove unused variable

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_seq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 68aea6cdd..225bf9d40 100644
--- 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;
    }