From 1067a5363f74c55f26f4146d993e6b923fdc478d Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 2 Oct 2018 08:34:57 +0700
Subject: [PATCH] theory_lra: Remove unused variable.

---
 src/smt/theory_lra.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index d3475bdc1..171c4de0a 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1569,7 +1569,6 @@ public:
             VERIFY(a.is_idiv(n, p, q));
             theory_var v  = mk_var(n);
             theory_var v1 = mk_var(p);
-            theory_var v2 = mk_var(q);
             rational r1 = get_value(v1);
             rational r2;