mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 02:42:02 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-01-21 23:35:04 -08:00
parent 2051cac3a3
commit 4c82350ca4
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/seq_unicode.cpp
View file

@ -30,7 +30,6 @@ namespace smt {
m_enabled = gparams::get_value("unicode") == "true"; m_enabled = gparams::get_value("unicode") == "true";
} }
struct seq_unicode::reset_bits : public trail<context> { struct seq_unicode::reset_bits : public trail<context> {
seq_unicode& s; seq_unicode& s;
unsigned idx; unsigned idx;