From bb3489ba1f8ab3b88db7ff105ae4f80769f3f697 Mon Sep 17 00:00:00 2001
From: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date: Tue, 26 May 2020 21:29:45 +0200
Subject: [PATCH] Remove double eventually

---
 src/fsharp/TypeChecker.fs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
index a61a719d710..9abd05cfd58 100755
--- a/src/fsharp/TypeChecker.fs
+++ b/src/fsharp/TypeChecker.fs
@@ -17400,10 +17400,7 @@ and TcSignatureElements cenv parent endm env xml mutRecNSInfo defs =
     }
 
 and TcSignatureElementsNonMutRec cenv parent typeNames endm env defs = 
-    eventually {
-
-        return! Eventually.fold (TcSignatureElementNonMutRec cenv parent typeNames endm) env defs
-    }
+    Eventually.fold (TcSignatureElementNonMutRec cenv parent typeNames endm) env defs
 
 and TcSignatureElementsMutRec cenv parent typeNames m mutRecNSInfo envInitial (defs: SynModuleSigDecl list) =
     eventually {