mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-09 15:47:29 +00:00
Code Activity

Fix typo in internalize_atom function

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-10-15 13:05:10 +02:00 • committed by GitHub
parent a55d7b3a54
commit 9b7967dacf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_finite_set.cpp
View file

@ -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;