mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 15:23:41 +00:00
Code Activity

Update scoped_ctrl_c.cpp

Browse source 
remove stale field
This commit is contained in:
Nikolaj Bjorner 2025-05-18 16:24:49 -07:00 • committed by GitHub
parent 78c5800a99
commit a0c2a6a92b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/scoped_ctrl_c.cpp
View file

@ -106,8 +106,7 @@ scoped_ctrl_c::scoped_ctrl_c(event_handler & eh, bool once, bool enabled):
m_cancel_eh(eh), m_cancel_eh(eh),
m_first(true), m_first(true),
m_once(once), m_once(once),
m_enabled(enabled), m_enabled(enabled) {
m_old_scoped_ctrl_c(g_obj) {
if (gparams::get_value("ctrl_c") == "false") if (gparams::get_value("ctrl_c") == "false")
m_enabled = false; m_enabled = false;
if (m_enabled) { if (m_enabled) {