diffblue
diff --git a/‎src/goto-programs/class_hierarchy.cpp
+4 b/‎src/goto-programs/class_hierarchy.cpp
+4
@@ -18,6 +18,10 @@ Date: April 2016
 
 #include "class_hierarchy.h"
 
+/// Looks for all the struct types in the symbol table and construct a map from
+/// class names to a data structure that contains lists of parent and child
+/// classes for each struct type (ie class).
+/// \param symbol_table: The symbol table to analyze
 void class_hierarchyt::operator()(const symbol_tablet &symbol_table)
 {
   forall_symbols(it, symbol_table.symbols)
Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,10 @@ Date: April 2016`
`18`	`18`
`19`	`19`	`#include "class_hierarchy.h"`
`20`	`20`
	`21`	`+/// Looks for all the struct types in the symbol table and construct a map from`
	`22`	`+/// class names to a data structure that contains lists of parent and child`
	`23`	`+/// classes for each struct type (ie class).`
	`24`	`+/// \param symbol_table: The symbol table to analyze`
`21`	`25`	`void class_hierarchyt::operator()(const symbol_tablet &symbol_table)`
`22`	`26`	`{`
`23`	`27`	`forall_symbols(it, symbol_table.symbols)`