Skip to content
Snippets Groups Projects
Commit 9c0aead3 authored by Nicolas Voirol's avatar Nicolas Voirol
Browse files

Remove equality function application from set of matchers

parent 270578f2
No related branches found
No related tags found
No related merge requests found
......@@ -558,6 +558,7 @@ trait Templates extends TemplateGenerator
val result = res.flatten.toMap
result ++ (expr match {
case QuantificationMatcher(c, Seq(e1, _)) if c == equalitySymbol(e1.getType)._1 => None
case QuantificationMatcher(c, args) =>
// Note that we rely here on the fact that foldRight visits the matcher's arguments first,
// so any Matcher in arguments will belong to the `result` map
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment