diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-15 16:40:36 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-15 16:40:36 -0700 |
| commit | 57e91b54c99238bfcc40880f8ecbaf590d4030cf (patch) | |
| tree | 378fcf6c9acaeecc09d8bc6dde8ed1e93c5b80ea /Source/Dafny | |
| parent | 84be6aaac1438ffe553f3fc4cbe22843c423e252 (diff) | |
Dafny: fixed some bugs in the newly added DafnyExtension code
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 223e0b28..f342ecca 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -1818,9 +1818,11 @@ namespace Microsoft.Dafny { }
public override IEnumerable<Expression> SubExpressions {
get {
- foreach (var rhs in rhss) {
- foreach (var ee in rhs.SubExpressions) {
- yield return ee;
+ if (rhss != null) {
+ foreach (var rhs in rhss) {
+ foreach (var ee in rhs.SubExpressions) {
+ yield return ee;
+ }
}
}
}
|