From a424ab918b16f12290dd16e4e17cba103e4429d0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 27 Sep 2019 06:48:17 -0700 Subject: [PATCH] remove setting timeout proc to null #2591 Signed-off-by: Nikolaj Bjorner --- src/shell/datalog_frontend.cpp | 1 - src/shell/lp_frontend.cpp | 1 - src/shell/opt_frontend.cpp | 1 - 3 files changed, 3 deletions(-) diff --git a/src/shell/datalog_frontend.cpp b/src/shell/datalog_frontend.cpp index b8461622d..8323f96dd 100644 --- a/src/shell/datalog_frontend.cpp +++ b/src/shell/datalog_frontend.cpp @@ -257,7 +257,6 @@ unsigned read_datalog(char const * file) { true); return ERR_MEMOUT; } - register_on_timeout_proc(nullptr); return 0; } diff --git a/src/shell/lp_frontend.cpp b/src/shell/lp_frontend.cpp index 48a6879fe..28cfaed33 100644 --- a/src/shell/lp_frontend.cpp +++ b/src/shell/lp_frontend.cpp @@ -91,7 +91,6 @@ void run_solver(lp_params & params, char const * mps_file_name) { } display_statistics(); - register_on_timeout_proc(nullptr); g_solver = nullptr; delete solver; } diff --git a/src/shell/opt_frontend.cpp b/src/shell/opt_frontend.cpp index 155ef724c..b7e129145 100644 --- a/src/shell/opt_frontend.cpp +++ b/src/shell/opt_frontend.cpp @@ -127,7 +127,6 @@ static unsigned parse_opt(std::istream& in, opt_format f) { std::cerr << ex.msg() << "\n"; } display_statistics(); - register_on_timeout_proc(nullptr); g_opt = nullptr; return 0; }