From a0c2a6a92bb6d3d1bcc1e504f1fc290c359eb197 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 May 2025 16:24:49 -0700
Subject: [PATCH] Update scoped_ctrl_c.cpp

remove stale field
---
 src/util/scoped_ctrl_c.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/scoped_ctrl_c.cpp b/src/util/scoped_ctrl_c.cpp
index b5021e9a2..9990cda55 100644
--- a/src/util/scoped_ctrl_c.cpp
+++ b/src/util/scoped_ctrl_c.cpp
@@ -106,8 +106,7 @@ scoped_ctrl_c::scoped_ctrl_c(event_handler & eh, bool once, bool enabled):
     m_cancel_eh(eh),
     m_first(true),
     m_once(once),
-    m_enabled(enabled),
-    m_old_scoped_ctrl_c(g_obj) {
+    m_enabled(enabled) {
     if (gparams::get_value("ctrl_c") == "false")
         m_enabled = false;
     if (m_enabled) {