Make incorrect_goto_program_exceptiont only output '(at: ..)' if there is a source_location

chrisr-diffblue · chrisr-diffblue · commit 604af12c9671 · 2018-10-10T14:38:09.000+01:00
diff --git a/src/util/exception_utils.cpp b/src/util/exception_utils.cpp
@@ -63,7 +63,6 @@ incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(
 
 std::string incorrect_goto_program_exceptiont::what() const
 {
-  return message + " (at: " + source_location.as_string() + ")";
   if(source_location.is_nil())
     return message;
   else

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,6 @@ incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(`
`63`	`63`
`64`	`64`	`std::string incorrect_goto_program_exceptiont::what() const`
`65`	`65`	`{`
`66`		`- return message + " (at: " + source_location.as_string() + ")";`
`67`	`66`	`if(source_location.is_nil())`
`68`	`67`	`return message;`
`69`	`68`	`else`