diff options
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) {
|