C++: Fix a copy/paste error in a comment

This commit is contained in:
Ian Lynagh
2018-08-21 11:20:06 +01:00
parent 99dbbdf863
commit 68959cae3a

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