Merge pull request #86 from ian-semmle/typo

C++: Fix a copy/paste error in a comment
This commit is contained in:
Nick Rolfe
2018-08-22 10:18:38 +01:00
committed by GitHub

View File

@@ -39,7 +39,7 @@ Element mkElement(@element e) {
* Get the `@element` that this `Element` extends. This should normally
* only be called from member predicates, where `e` is `this` and you
* need the result for an argument to a database extensional.
* See `unresolveElement` for when `e` is `this`.
* See `unresolveElement` for when `e` is not `this`.
*/
@element underlyingElement(Element e) {
result = e