From 993a0434b442c92e4e84103490722c5428be5ecd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Jan 2016 23:47:35 -0500
Subject: [PATCH] fix warning message for 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 cc84388d3..71f1b03ea 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -568,7 +568,6 @@ bool theory_seq::check_extensionality() {
     context& ctx = get_context();
     unsigned sz = get_num_vars();
     unsigned_vector seqs;
-    bool added_assumption = false;
     for (unsigned v = 0; v < sz; ++v) {
         enode* n = get_enode(v);
         expr* o1 = n->get_owner();