make comment precise

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 53200ab7a9694c1391524c13b939dfbaeb516382..f0d87cdf27b9c53d1cb19bcf57a8026e9bdd165c 100644 (file)
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -343,8 +343,8 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
         << std::flush;
 
 #ifdef CVC4_COMPETITION_MODE
-      // There's some hang-up in thread destruction?
-      // Anyway for SMT-COMP we don't care, just exit now.
+      // We use CVC4 in competition with --no-wait-to-join. If
+      // destructors run, they will destroy(!) us. So, just exit now.
       _exit(0);
 #endif /* CVC4_COMPETITION_MODE */
     }