C++: Fix typo

This commit is contained in:
Ian Lynagh
2018-08-23 15:05:50 +01:00
parent 1d202dd7cd
commit f6582ef285

View File

@@ -17,7 +17,7 @@ private predicate existsIncompleteWithName(string name, @usertype c) {
}
/**
* Holds if `c` is an imcomplete class, and there exists a complete class `d`
* Holds if `c` is an incomplete class, and there exists a complete class `d`
* with the same name.
*/
private predicate hasCompleteTwin(@usertype c, @usertype d) {