Skip to content
Snippets Groups Projects
Commit 8fb101e4 authored by Austin Seipp's avatar Austin Seipp
Browse files

Revert "Look inside synonyms for foralls when unifying"

As discussed in #10194, this patch - while fixing a bug - also causes a
minor regression when compiling certain in-the-wild programs, meaning
some extant programs now failed with 7.10.2 RC1. Womp womp.

This reverts commit 681d82c0.
parent 558eb050
No related branches found
No related tags found
No related merge requests found
Loading
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