Make goto_modelt.output const

janmroczkowski · janmroczkowski · commit ebbbf5f58bf6 · 2017-09-06T18:29:14.000+01:00
diff --git a/src/goto-programs/goto_model.h b/src/goto-programs/goto_model.h
@@ -31,7 +31,7 @@ class goto_modelt
     goto_functions.clear();
   }
 
-  void output(std::ostream &out)
+  void output(std::ostream &out) const
   {
     namespacet ns(symbol_table);
     goto_functions.output(ns, out);

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ class goto_modelt`
`31`	`31`	`goto_functions.clear();`
`32`	`32`	`}`
`33`	`33`
`34`		`- void output(std::ostream &out)`
	`34`	`+ void output(std::ostream &out) const`
`35`	`35`	`{`
`36`	`36`	`namespacet ns(symbol_table);`
`37`	`37`	`goto_functions.output(ns, out);`