diff --git a/src/dev/ParallelChecker.cpp b/src/dev/ParallelChecker.cpp index 2e6880fb8970b1f8b89a428b0a9d0d2477d62d75..c052c9ea0bdc76d01833e47710534ec776e9613e 100644 --- a/src/dev/ParallelChecker.cpp +++ b/src/dev/ParallelChecker.cpp @@ -14,4 +14,5 @@ ParallelChecker::destroy() { Assert(ParallelChecker::m_instance != nullptr, "ParallelChecker has already been destroyed"); delete ParallelChecker::m_instance; + ParallelChecker::m_instance = nullptr; }