2 files changed, 3 insertions, 5 deletions
diff --git a/src/theory/sets/theory_sets.cpp b/src/theory/sets/theory_sets.cpp
index 82ebb5bf8..1280ad58d 100644
--- a/src/theory/sets/theory_sets.cpp
+++ b/src/theory/sets/theory_sets.cpp
@@ -25,9 +25,8 @@ TheorySets::TheorySets(context::Context* c,
                        context::UserContext* u,
                        OutputChannel& out,
                        Valuation valuation,
-                       const LogicInfo& logicInfo,
-                       SmtGlobals* globals)
-    : Theory(THEORY_SETS, c, u, out, valuation, logicInfo, globals),
+                       const LogicInfo& logicInfo)
+    : Theory(THEORY_SETS, c, u, out, valuation, logicInfo),
       d_internal(new TheorySetsPrivate(*this, c, u))
 {}
 
diff --git a/src/theory/sets/theory_sets.h b/src/theory/sets/theory_sets.h
index 7ff8abec6..bc39fcbbd 100644
--- a/src/theory/sets/theory_sets.h
+++ b/src/theory/sets/theory_sets.h
@@ -41,8 +41,7 @@ public:
    * contexts.
    */
   TheorySets(context::Context* c, context::UserContext* u, OutputChannel& out,
-             Valuation valuation, const LogicInfo& logicInfo,
-             SmtGlobals* globals);
+             Valuation valuation, const LogicInfo& logicInfo);
 
   ~TheorySets();