summaryrefslogtreecommitdiff
path: root/Source/Dafny
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-23 00:07:59 -0700
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-23 00:07:59 -0700
commit489605d67b72247866a9797d8c70c06e117e5596 (patch)
tree21a6a280e726680a1411df74a87f6b4fd3e412f4 /Source/Dafny
parent4119a14a906c3331921c4a44d84bdd30b3628af5 (diff)
Trivial code cleanup
Diffstat (limited to 'Source/Dafny')
-rw-r--r--Source/Dafny/Triggers/QuantifiersCollector.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Triggers/QuantifiersCollector.cs b/Source/Dafny/Triggers/QuantifiersCollector.cs
index 3385f36e..1f37dcfa 100644
--- a/Source/Dafny/Triggers/QuantifiersCollector.cs
+++ b/Source/Dafny/Triggers/QuantifiersCollector.cs
@@ -26,7 +26,7 @@ namespace Microsoft.Dafny.Triggers {
if (quantifier.SplitQuantifier != null) {
var collection = quantifier.SplitQuantifier.Select(q => q as QuantifierExpr).Where(q => q != null);
quantifierCollections.Add(new QuantifiersCollection(collection, reporter));
- foreach (var q in quantifier.SplitQuantifier) { quantifiers.Add(q); }
+ quantifiers.UnionWith(quantifier.SplitQuantifier);
} else {
quantifierCollections.Add(new QuantifiersCollection(Enumerable.Repeat(quantifier, 1), reporter));
}