Remove staticrmStatic

1 files changed, 9 insertions, 4 deletions

diff --git a/src/theory/builtin/theory_builtin.h b/src/theory/builtin/theory_builtin.h
index 8a7d1bf7b..d11f3b246 100644
--- a/src/theory/builtin/theory_builtin.h
+++ b/src/theory/builtin/theory_builtin.h
@@ -26,11 +26,16 @@ namespace theory {
 namespace builtin {
 
 class TheoryBuiltin : public Theory {
-public:
-  TheoryBuiltin(context::Context* c, context::UserContext* u,
-                OutputChannel& out, Valuation valuation,
+ public:
+  TheoryBuiltin(Environment* env,
+                context::Context* c,
+                context::UserContext* u,
+                OutputChannel& out,
+                Valuation valuation,
                 const LogicInfo& logicInfo)
-      : Theory(THEORY_BUILTIN, c, u, out, valuation, logicInfo) {}
+      : Theory(THEORY_BUILTIN, env, c, u, out, valuation, logicInfo)
+  {
+  }
   std::string identify() const override { return std::string("TheoryBuiltin"); }
 };/* class TheoryBuiltin */