diff --git a/src/smt/theory_finite_set.cpp b/src/smt/theory_finite_set.cpp
index 27c873501..28e2d95fc 100644
--- a/src/smt/theory_finite_set.cpp
+++ b/src/smt/theory_finite_set.cpp
@@ -41,7 +41,7 @@ namespace smt {
     bool theory_finite_set::internalize_atom(app * atom, bool gate_ctx) {
         TRACE("finite_set", tout << "internalize_atom: " << mk_pp(atom, m) << "\n";);
 
-        itnernalize_term(atom);
+        internalize_term(atom);
         
         // Track membership atoms (set.in)
         expr* elem = nullptr, *set = nullptr;