Merge pull request diffblue#1313 from NathanJPhillips/bugfix/invariant-message

Daniel Kroening · web-flow · commit 45a97aabe9a2 · 2017-08-31T19:56:37.000+01:00
Clarified INVARIANT message in get_message_handler
diff --git a/src/util/message.h b/src/util/message.h
@@ -137,7 +137,9 @@ class messaget
 
   message_handlert &get_message_handler()
   {
-    INVARIANT(message_handler!=nullptr, "message handler is set");
+    INVARIANT(
+      message_handler!=nullptr,
+      "message handler should be set before calling get_message_handler");
     return *message_handler;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -137,7 +137,9 @@ class messaget`
`137`	`137`
`138`	`138`	`message_handlert &get_message_handler()`
`139`	`139`	`{`
`140`		`- INVARIANT(message_handler!=nullptr, "message handler is set");`
	`140`	`+ INVARIANT(`
	`141`	`+ message_handler!=nullptr,`
	`142`	`+ "message handler should be set before calling get_message_handler");`
`141`	`143`	`return *message_handler;`
`142`	`144`	`}`
`143`	`145`