Make automatont.output const

janmroczkowski · janmroczkowski · commit 9be84eae757f · 2017-09-06T18:29:14.000+01:00
diff --git a/src/goto-instrument/accelerate/trace_automaton.cpp b/src/goto-instrument/accelerate/trace_automaton.cpp
@@ -473,7 +473,7 @@ void trace_automatont::minimise()
   determinise();
 }
 
-void automatont::output(std::ostream &str)
+void automatont::output(std::ostream &str) const
 {
   str << "Init: " << init_state << '\n';
 
diff --git a/src/goto-instrument/accelerate/trace_automaton.h b/src/goto-instrument/accelerate/trace_automaton.h
@@ -54,7 +54,7 @@ class automatont
 
   std::size_t count_transitions();
 
-  void output(std::ostream &str);
+  void output(std::ostream &str) const;
 
   void clear()
   {

Original file line number	Diff line number	Diff line change
`@@ -473,7 +473,7 @@ void trace_automatont::minimise()`
`473`	`473`	`determinise();`
`474`	`474`	`}`
`475`	`475`
`476`		`-void automatont::output(std::ostream &str)`
	`476`	`+void automatont::output(std::ostream &str) const`
`477`	`477`	`{`
`478`	`478`	`str << "Init: " << init_state << '\n';`
`479`	`479`
Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ class automatont`
`54`	`54`
`55`	`55`	`std::size_t count_transitions();`
`56`	`56`
`57`		`- void output(std::ostream &str);`
	`57`	`+ void output(std::ostream &str) const;`
`58`	`58`
`59`	`59`	`void clear()`
`60`	`60`	`{`