diff --git a/src/smt/theory_finite_set.cpp b/src/smt/theory_finite_set.cpp
index 785512f4e..72b25d16a 100644
--- a/src/smt/theory_finite_set.cpp
+++ b/src/smt/theory_finite_set.cpp
@@ -202,4 +202,8 @@ namespace smt {
         return nullptr;
     }
 
+    void theory_finite_set::instantiate_false_lemma() {}
+    void theory_finite_set::instantiate_unit_propagation() {}
+    void theory_finite_set::instantiate_free_lemma() {}
+
 }  // namespace smt