Fix Doxygen warnings in goto-programs/ folder#3394

Merged

peterschrammel merged 3 commits intodiffblue:developfrom

johnnonweiler:doc/reduce-doxygen-warnings-17

Nov 13, 2018

Commits on Nov 13, 2018

Rename param in function declaration
John Nonweiler
committed
Fix typo in parameter name
John Nonweiler
committed
Update parameter documentation in Doxygen comments
John Nonweiler
committed