Merge pull request #8126 from tautschnig/cleanup/safety_checkert-messaget

tautschnig · web-flow · commit 1068770421a3 · 2023-12-19T20:51:04.000+01:00
Remove unused safety_checkert constructor
diff --git 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
@@ -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
   {

Original file line number	Diff line number	Diff line change
`@@ -24,12 +24,7 @@ class goto_functionst;`
`24`	`24`	`class safety_checkert:public messaget`
`25`	`25`	`{`
`26`	`26`	`public:`
`27`		`- explicit safety_checkert(`
`28`		`- const namespacet &_ns);`
`29`		`-`
`30`		`- explicit safety_checkert(`
`31`		`- const namespacet &_ns,`
`32`		`- message_handlert &_message_handler);`
	`27`	`+ safety_checkert(const namespacet &_ns, message_handlert &_message_handler);`
`33`	`28`
`34`	`29`	`enum class resultt`
`35`	`30`	`{`