diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-17 09:37:47 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-17 09:37:47 -0700 |
| commit | db9821ac440cdfa817049ab83c2e94f861ff429d (patch) | |
| tree | cfbb6ed0d116f764474ba4e07c4b406fa6916e4a /Source/Dafny/Translator.cs | |
| parent | a07b43ac03b38d4af575d1a1df48339ad228751a (diff) | |
Review preceding commit with Rustan
Diffstat (limited to 'Source/Dafny/Translator.cs')
| -rw-r--r-- | Source/Dafny/Translator.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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>();
|