diff options
Diffstat (limited to 'Dafny')
| -rw-r--r-- | Dafny/Translator.ssc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Dafny/Translator.ssc b/Dafny/Translator.ssc index 092ee146..35e8cdc1 100644 --- a/Dafny/Translator.ssc +++ b/Dafny/Translator.ssc @@ -1435,7 +1435,12 @@ namespace Microsoft.Dafny { List<Expression!>! ProjectOutSpecificFields(List<FrameExpression!>! fexprs) {
List<Expression!> exprs = new List<Expression!>();
foreach (FrameExpression fe in fexprs) {
- exprs.Add(fe.E);
+ if (fe.E is WildcardExpr) {
+ // drop wildcards altogether
+ } else {
+ // keep only fe.E, drop any fe.Field designation
+ exprs.Add(fe.E);
+ }
}
return exprs;
}
|