From 105c0cea1157e66f6cf8f27908b8c64a5885125b Mon Sep 17 00:00:00 2001
From: Christoph Amrein <camrein@users.noreply.github.com>
Date: Mon, 11 Jan 2021 08:49:33 +0100
Subject: [PATCH] Updated the dafny submodule to v3.0.0-PreRelease2.

---
 dafny | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dafny b/dafny
index 4cea14a..d4ef6c1 160000
--- a/dafny
+++ b/dafny
@@ -1 +1 @@
-Subproject commit 4cea14a8809cb33412ee43012a4489d1fdf00340
+Subproject commit d4ef6c155fb92aab8ca6402cc6c49d64fe94db27