1 files changed, 9 insertions, 0 deletions
diff --git a/src/theory/valuation.cpp b/src/theory/valuation.cpp
index 9375a4868..bec528215 100644
--- a/src/theory/valuation.cpp
+++ b/src/theory/valuation.cpp
@@ -145,6 +145,15 @@ void Valuation::setSemiEvaluatedKind(Kind k)
   }
 }
 
+void Valuation::setIrrelevantKind(Kind k)
+{
+  TheoryModel* m = getModel();
+  if (m != nullptr)
+  {
+    m->setIrrelevantKind(k);
+  }
+}
+
 Node Valuation::ensureLiteral(TNode n) {
   Assert(d_engine != nullptr);
   return d_engine->ensureLiteral(n);