Fix a small typo in a comment that I happened to come across#2592

Merged

kroening merged 1 commit intodiffblue:developfrom

NathanJPhillips:cleanup/fix-typo-in-comment

Jul 24, 2018

Commits on Jul 23, 2018

Fix a small typo in a comment that I happened to come across
NathanJPhillips
committed