From c0bb6dd2be9cabb4cc774babb6bae9a530298161 Mon Sep 17 00:00:00 2001
From: Doug Woos <doug.woos@gmail.com>
Date: Mon, 30 Jan 2017 20:54:40 -0800
Subject: [PATCH] delete unused args

---
 src/tactic/sine_filter.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/tactic/sine_filter.cpp b/src/tactic/sine_filter.cpp
index d76e8f6b5..60482d86e 100644
--- a/src/tactic/sine_filter.cpp
+++ b/src/tactic/sine_filter.cpp
@@ -31,15 +31,11 @@ class sine_tactic : public tactic {
 
     ast_manager&  m;
     params_ref    m_params;
-    datatype_util m_dt;
-    ref<extension_model_converter> m_ext;
-    ref<filter_model_converter>    m_filter;
-    unsigned                       m_num_transformed;
 
 public:
 
     sine_tactic(ast_manager& m, params_ref const& p): 
-        m(m), m_params(p), m_dt(m) {}
+      m(m), m_params(p) {}
     
     virtual tactic * translate(ast_manager & m) {
         return alloc(sine_tactic, m, m_params);