From db9821ac440cdfa817049ab83c2e94f861ff429d Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Mon, 17 Aug 2015 09:37:47 -0700
Subject: Review preceding commit with Rustan

---
 Source/Dafny/Translator.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Dafny/Translator.cs')

diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index f0b7f276..df816b6d 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -5306,6 +5306,7 @@ namespace Microsoft.Dafny {
 
         if (q != null && q.SplitQuantifier != null) {
           CheckWellformedWithResult(q.SplitQuantifierExpression, options, result, resultType, locals, builder, etran);
+          return;
         }
 
         var typeMap = new Dictionary<TypeParameter, Type>();
-- 
cgit v1.2.3