From 30fa66eb8f848eb1549c0335728c4f2790f73b72 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Wed, 4 Jan 2012 13:15:58 -0800
Subject: Dafny: compile let expressions efficiently (i.e., with an extra
 variable, not with a substitution)

---
 Binaries/DafnyRuntime.cs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Binaries')

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index e22d52ad..36341f68 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -455,5 +455,9 @@ namespace Dafny
     public static Sequence<T> SeqFromArray<T>(T[] array) {
       return new Sequence<T>(array);
     }
+    public static U ExpressionSequence<T, U>(T t, U u)
+    {
+      return u;
+    }
   }
 }
-- 
cgit v1.2.3