diff --git a/src/Checker.cc b/src/Checker.cc index 591c540cc..3da4d287b 100644 --- a/src/Checker.cc +++ b/src/Checker.cc @@ -340,10 +340,10 @@ ConstraintSet Checker::inferMany(TypeEnv& Env, std::vector& Elements, Typ Node* From; void visitReferenceExpression(ReferenceExpression* E) { auto To = E->getScope()->lookup(E->getSymbolPath()); - if (isa(To)) { - To = To->Parent; - } if (To != nullptr) { + if (isa(To)) { + To = To->Parent; + } G.add_edge(From, To); } }