Missing cloning case

robin-aws · Aug 14, 2023 · 20118e6 · 20118e6
1 parent 11d4a0d
commit 20118e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Source/DafnyCore/AST/Members/Lemma.cs b/Source/DafnyCore/AST/Members/Lemma.cs
@@ -11,7 +11,7 @@ public Lemma(RangeToken rangeToken, Name name,
     [Captured] List<TypeParameter> typeArgs,
     [Captured] List<Formal> ins, [Captured] List<Formal> outs,
     [Captured] List<AttributedExpression> req,
-    List<FrameExpression> reads,
+    [Captured] List<FrameExpression> reads,
     [Captured] Specification<FrameExpression> mod,
     [Captured] List<AttributedExpression> ens,
     [Captured] Specification<Expression> decreases,

diff --git a/Source/DafnyCore/AST/Members/Method.cs b/Source/DafnyCore/AST/Members/Method.cs
@@ -110,6 +110,7 @@ public Method(Cloner cloner, Method original) : base(cloner, original) {
     }
 
     this.Req = original.Req.ConvertAll(cloner.CloneAttributedExpr);
+    this.Reads = original.Reads.ConvertAll(cloner.CloneFrameExpr);
     this.Mod = cloner.CloneSpecFrameExpr(original.Mod);
     this.Decreases = cloner.CloneSpecExpr(original.Decreases);
     this.Ens = original.Ens.ConvertAll(cloner.CloneAttributedExpr);