From e7e0ec176511479d702c8f6e89695a1f6ddc88e0 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 19 Dec 2023 14:10:17 +0000
Subject: [PATCH] Remove unused safety_checkert constructor

This avoids creating a messaget that isn't fully initialised.
---
 src/goto-programs/safety_checker.cpp | 5 -----
 src/goto-programs/safety_checker.h   | 7 +------
 2 files changed, 1 insertion(+), 11 deletions(-)

diff --git a/src/goto-programs/safety_checker.cpp b/src/goto-programs/safety_checker.cpp
index b1236c08dc7..a22a3a740f8 100644
--- a/src/goto-programs/safety_checker.cpp
+++ b/src/goto-programs/safety_checker.cpp
@@ -11,11 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "safety_checker.h"
 
-safety_checkert::safety_checkert(const namespacet &_ns):
-  ns(_ns)
-{
-}
-
 safety_checkert::safety_checkert(
   const namespacet &_ns,
   message_handlert &_message_handler):
diff --git a/src/goto-programs/safety_checker.h b/src/goto-programs/safety_checker.h
index 3b3540bb3b0..5f60d2f5b2f 100644
--- a/src/goto-programs/safety_checker.h
+++ b/src/goto-programs/safety_checker.h
@@ -24,12 +24,7 @@ class goto_functionst;
 class safety_checkert:public messaget
 {
 public:
-  explicit safety_checkert(
-    const namespacet &_ns);
-
-  explicit safety_checkert(
-    const namespacet &_ns,
-    message_handlert &_message_handler);
+  safety_checkert(const namespacet &_ns, message_handlert &_message_handler);
 
   enum class resultt
   {