From c4b4744ae90322f537a6d933a61affab4e9088e4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Mar 2019 13:13:50 -0700
Subject: [PATCH] e_id3

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/diff_logic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/diff_logic.h b/src/smt/diff_logic.h
index 8544a2384..8332baaf4 100644
--- a/src/smt/diff_logic.h
+++ b/src/smt/diff_logic.h
@@ -1775,7 +1775,7 @@ public:
                 continue;
             }
             w2 = e2.get_weight() + w;
-            for (edge_id e_id2 : m_in_edges[e2.get_target()]) {
+            for (edge_id e_id3 : m_in_edges[e2.get_target()]) {
                 ++m_stats.m_implied_literal_cost;
                 edge const& e3 = m_edges[e_id3];
                 if (e3.is_enabled() || e3.get_source() != src) {