From 83a4a3fed2f9b3192dc198b76c911c06dd25f06d Mon Sep 17 00:00:00 2001
From: Gundarin Roman <roma57linux@gmail.com>
Date: Tue, 21 Nov 2023 03:27:25 +0300
Subject: [PATCH] Update testlib.h

---
 testlib.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/testlib.h b/testlib.h
index c45e320..56e2b0f 100644
--- a/testlib.h
+++ b/testlib.h
@@ -5995,6 +5995,7 @@ void registerScorer(int argc, char *argv[], std::function<double(std::vector<Tes
     __testlib_ensuresPreconditions();
 
     testlibMode = _scorer;
+    TestlibFinalizeGuard::registered = true;
     __testlib_set_binary(stdin);
 
     inf.init(stdin, _input);