Merge pull request #3339 from tautschnig/vs-verifier_text

chrisr-diffblue · web-flow · commit 233a37055560 · 2018-12-04T13:49:26.000Z
Remove unused messaget parameter from static_verifier_text [blocks: #2310]
diff --git a/src/goto-analyzer/static_verifier.cpp b/src/goto-analyzer/static_verifier.cpp
@@ -107,7 +107,6 @@ static void static_verifier_xml(
 static void static_verifier_text(
   const std::vector<static_verifier_resultt> &results,
   const namespacet &ns,
-  messaget &m,
   std::ostream &out)
 {
   irep_idt last_function_id;
@@ -287,7 +286,7 @@ bool static_verifier(
   }
   else if(options.get_bool_option("text"))
   {
-    static_verifier_text(results, ns, m, out);
+    static_verifier_text(results, ns, out);
   }
   else
   {

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,6 @@ static void static_verifier_xml(`
`107`	`107`	`static void static_verifier_text(`
`108`	`108`	`const std::vector<static_verifier_resultt> &results,`
`109`	`109`	`const namespacet &ns,`
`110`		`- messaget &m,`
`111`	`110`	`std::ostream &out)`
`112`	`111`	`{`
`113`	`112`	`irep_idt last_function_id;`
`@@ -287,7 +286,7 @@ bool static_verifier(`
`287`	`286`	`}`
`288`	`287`	`else if(options.get_bool_option("text"))`
`289`	`288`	`{`
`290`		`- static_verifier_text(results, ns, m, out);`
	`289`	`+ static_verifier_text(results, ns, out);`
`291`	`290`	`}`
`292`	`291`	`else`
`293`	`292`	`{`