Update src/goto-symex/goto_symex_state.cpp

tautschnig · smowton · web-flow · commit eea99596a15a · 2018-11-27T14:40:05.000Z
Co-Authored-By: smowton &lt;chris@smowton.net&gt;
diff --git a/src/goto-symex/goto_symex_state.cpp b/src/goto-symex/goto_symex_state.cpp
@@ -780,7 +780,7 @@ void goto_symex_statet::get_l1_name(exprt &expr) const
 /// This is for use from the debugger or in debug code; please don't delete it
 /// just because it isn't called at present.
 /// \param out: stream to write to
-void goto_symex_statet::print_backtrace(std::ostream &out)
+void goto_symex_statet::print_backtrace(std::ostream &out) const
 {
   out << source.pc->function << " " << source.pc->location_number << "\n";
 

Original file line number	Diff line number	Diff line change
`@@ -780,7 +780,7 @@ void goto_symex_statet::get_l1_name(exprt &expr) const`
`780`	`780`	`/// This is for use from the debugger or in debug code; please don't delete it`
`781`	`781`	`/// just because it isn't called at present.`
`782`	`782`	`/// \param out: stream to write to`
`783`		`-void goto_symex_statet::print_backtrace(std::ostream &out)`
	`783`	`+void goto_symex_statet::print_backtrace(std::ostream &out) const`
`784`	`784`	`{`
`785`	`785`	`out << source.pc->function << " " << source.pc->location_number << "\n";`
`786`	`786`