From 20118e6ad48e56687257cb02f62bfa3a52128b7f Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Mon, 14 Aug 2023 16:34:28 -0700
Subject: [PATCH] Missing cloning case

---
 Source/DafnyCore/AST/Members/Lemma.cs  | 2 +-
 Source/DafnyCore/AST/Members/Method.cs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Source/DafnyCore/AST/Members/Lemma.cs b/Source/DafnyCore/AST/Members/Lemma.cs
index abd5af5bdae..20164a09b64 100644
--- 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
index f89ae11f078..e00cfa48069 100644
--- 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);