Skip to content

Commit

Permalink
Update AttrExprType.java
Browse files Browse the repository at this point in the history
  • Loading branch information
Frotty committed Dec 15, 2020
1 parent 85b6b5a commit d750d06
Showing 1 changed file with 1 addition and 1 deletion.
Expand Up @@ -69,7 +69,7 @@ public static WurstType calculate(ExprVarAccess term) {
return WurstTypeUnknown.instance();
}
if (varDef.getDef() instanceof VarDef) {
if (Utils.getParentVarDef(Optional.of(term)).equals(Optional.of((VarDef) varDef.getDef()))) {
if (Utils.getParentVarDef(Optional.of(term)) == Optional.of((VarDef) varDef.getDef())) {
term.addError("Recursive variable definition is not allowed.");
return WurstTypeUnknown.instance();
}
Expand Down

0 comments on commit d750d06

Please sign in to comment.