Fix Doxygen warnings in goto-instrument/wmm folder#3430
Merged
kroening merged 2 commits intodiffblue:developfrom Nov 16, 2018
johnnonweiler:doc/reduce-doxygen-warnings-18
Commits
Commits on Nov 16, 2018
- committed
John Nonweiler - committedJohn Nonweiler