1 files changed, 22 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 9ed3b7e0..847617aa 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -4084,6 +4084,28 @@ namespace Microsoft.Dafny {
     }
   }
 
+  public class LetStmt : Statement 
+  {
+    public readonly List<CasePattern> LHSs;
+    public readonly List<Expression> RHSs;
+
+    public LetStmt(IToken tok, IToken endTok, List<CasePattern> lhss, List<Expression> rhss)
+      : base(tok, endTok) {
+      LHSs = lhss;
+      RHSs = rhss;
+    }
+
+   public IEnumerable<BoundVar> BoundVars {
+      get {
+        foreach (var lhs in LHSs) {
+          foreach (var bv in lhs.Vars) {
+           yield return bv;
+          }
+        }
+      }
+    }
+  }
+
   /// <summary>
   /// Common superclass of UpdateStmt and AssignSuchThatStmt.
   /// </summary>