Merge pull request #8126 from tautschnig/cleanup/safety_checkert-mess…

…aget Remove unused safety_checkert constructor
diffblue · Dec 19, 2023 · 1068770 · 1068770
2 parents d3d5bd7 + e7e0ec1
commit 1068770
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 11 deletions.
diff --git a/src/goto-programs/safety_checker.cpp b/src/goto-programs/safety_checker.cpp
@@ -11,11 +11,6 @@ Author: Daniel Kroening, [email protected]
 
 #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
@@ -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
   {