diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-15 17:49:54 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-15 17:49:54 -0700 |
| commit | 4b7f173e6b0b3b1d71596992f333cf569f1329f1 (patch) | |
| tree | df882a8f641fbba72e325901d845392d1f949977 /Dafny/Cloner.cs | |
| parent | b33530705395567fe24568c65ca68c8663626293 (diff) | |
DafnyExtension: fixed more missing cases for hover texts
Diffstat (limited to 'Dafny/Cloner.cs')
| -rw-r--r-- | Dafny/Cloner.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Cloner.cs b/Dafny/Cloner.cs index 2f254135..b1b8828a 100644 --- a/Dafny/Cloner.cs +++ b/Dafny/Cloner.cs @@ -151,7 +151,7 @@ namespace Microsoft.Dafny }
public FrameExpression CloneFrameExpr(FrameExpression frame) {
- return new FrameExpression(CloneExpr(frame.E), frame.FieldName);
+ return new FrameExpression(Tok(frame.tok), CloneExpr(frame.E), frame.FieldName);
}
public Attributes.Argument CloneAttrArg(Attributes.Argument aa) {
if (aa.E != null) {
|