From 996905a2c1dcc1ac432af5647a03fe6afb5c1a67 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 12:54:55 -0700
Subject: [PATCH] fix warnings

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

diff --git a/src/sat/smt/euf_ackerman.h b/src/sat/smt/euf_ackerman.h
index eeed7639c..aa92d88ec 100644
--- a/src/sat/smt/euf_ackerman.h
+++ b/src/sat/smt/euf_ackerman.h
@@ -58,7 +58,6 @@ namespace euf {
         inference*    m_queue { nullptr };
         inference*    m_tmp_inference { nullptr };
         unsigned      m_gc_threshold { 1 };
-        unsigned      m_propagate_threshold { 0 };
         unsigned      m_num_propagations_since_last_gc { 0 };
  
         void reset();