diff options
Diffstat (limited to 'Dafny/Compiler.cs')
| -rw-r--r-- | Dafny/Compiler.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Dafny/Compiler.cs b/Dafny/Compiler.cs index 7f48e551..3864df8b 100644 --- a/Dafny/Compiler.cs +++ b/Dafny/Compiler.cs @@ -2184,6 +2184,8 @@ namespace Microsoft.Dafny { var e = (ConcreteSyntaxExpression)expr;
TrExpr(e.ResolvedExpression);
+ } else if (expr is NamedExpr) {
+ TrExpr(((NamedExpr)expr).Body);
} else {
Contract.Assert(false); throw new cce.UnreachableException(); // unexpected expression
}
|