diff options
Diffstat (limited to 'Dafny/Parser.cs')
| -rw-r--r-- | Dafny/Parser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Parser.cs b/Dafny/Parser.cs index 068aa2f6..49e02bd8 100644 --- a/Dafny/Parser.cs +++ b/Dafny/Parser.cs @@ -1552,7 +1552,7 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo while (la.kind == 6) {
Attribute(ref attrs);
}
- r.Attributes = attrs;
+ if (r != null) r.Attributes = attrs;
}
void Lhs(out Expression e) {
|