From 04ddade2ddd6b9791a58aac1aa17791d5f6b742f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 22 Sep 2025 04:43:41 +0300 Subject: [PATCH] remove stale comment --- src/smt/smt_parallel.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index b88d881fe..5d1f61586 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -87,9 +87,6 @@ namespace smt { case l_undef: { update_max_thread_conflicts(); LOG_WORKER(1, " found undef cube\n"); - // return unprocessed cubes to the batch manager - // add a split literal to the batch manager. - // optionally process other cubes and delay sending back unprocessed cubes to batch manager. if (m_config.m_max_cube_depth <= cube.size()) goto check_cube_start;