Fixed a bug in all caps functions without function bodies#408

Merged

kroening merged 1 commit intodiffblue:masterfrom

thk123:bug/lint-crash-on-non-standard-function

Jan 10, 2017

Commits on Jan 9, 2017

Fixed a bug in all caps functions without function comment headers
thk123
committed