From 9b7967dacfee801e1890e800a3217d1ebaa24705 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Oct 2025 13:05:10 +0200 Subject: [PATCH] Fix typo in internalize_atom function --- src/smt/theory_finite_set.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;