From b15f8f62562b624fbfe18b0bd8f82084b19f0110 Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Wed, 29 Nov 2023 22:58:19 +0100
Subject: [PATCH] Set instance pointer to nullptr in destroy()

Useful for tests
---
 src/dev/ParallelChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/dev/ParallelChecker.cpp b/src/dev/ParallelChecker.cpp
index 2e6880fb8..c052c9ea0 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;
 }
-- 
GitLab