Add doxygen

peterschrammel · peterschrammel · commit e98d8b9140f8 · 2018-09-24T14:09:56.000+01:00
diff --git a/src/goto-programs/goto_program.cpp b/src/goto-programs/goto_program.cpp
@@ -699,6 +699,7 @@ bool goto_programt::equals(const goto_programt &other) const
   return true;
 }
 
+/// Outputs a string representation of a `goto_program_instruction_typet`
 std::ostream &operator<<(std::ostream &out, goto_program_instruction_typet t)
 {
   switch(t)

Original file line number	Diff line number	Diff line change
`@@ -699,6 +699,7 @@ bool goto_programt::equals(const goto_programt &other) const`
`699`	`699`	`return true;`
`700`	`700`	`}`
`701`	`701`
	`702`	+/// Outputs a string representation of a `goto_program_instruction_typet`
`702`	`703`	`std::ostream &operator<<(std::ostream &out, goto_program_instruction_typet t)`
`703`	`704`	`{`
`704`	`705`	`switch(t)`