Merge pull request diffblue#4504 from romainbrenguier/bugfix/verbosity0

tautschnig · web-flow · commit 6c46e2c84148 · 2019-04-10T06:58:19.000+01:00
Set verbosity to 0 for null_message_handlert
diff --git a/src/util/message.h b/src/util/message.h
@@ -73,6 +73,11 @@ class message_handlert
 class null_message_handlert:public message_handlert
 {
 public:
+  null_message_handlert() : message_handlert()
+  {
+    verbosity = 0;
+  }
+
   void print(unsigned level, const std::string &message) override
   {
     message_handlert::print(level, message);

Original file line number	Diff line number	Diff line change
`@@ -73,6 +73,11 @@ class message_handlert`
`73`	`73`	`class null_message_handlert:public message_handlert`
`74`	`74`	`{`
`75`	`75`	`public:`
	`76`	`+ null_message_handlert() : message_handlert()`
	`77`	`+ {`
	`78`	`+ verbosity = 0;`
	`79`	`+ }`
	`80`	`+`
`76`	`81`	`void print(unsigned level, const std::string &message) override`
`77`	`82`	`{`
`78`	`83`	`message_handlert::print(level, message);`