Minor cleanup of the ansi-c parser: consistent use of init#20
Merged
kroening merged 2 commits intodiffblue:masterfrom May 30, 2016
Merged
Minor cleanup of the ansi-c parser: consistent use of init#20kroening merged 2 commits intodiffblue:masterfrom
kroening merged 2 commits intodiffblue:masterfrom
Commits
Commits on May 18, 2016
- committed
- committed
