Commit a906595f authored by Arnaud Spiwack's avatar Arnaud Spiwack Committed by Marge Bot

Fix an outdated note link

This link appears to have been forgotten in
0dad81ca .
parent f432d8c6
Pipeline #15579 passed with stages
in 484 minutes and 10 seconds
......@@ -541,7 +541,7 @@ substitutions until the next run of the simplifier.
Note [CoreSyn case invariants]
See #case_invariants#
See Note [Case expression invariants]
Note [Levity polymorphism invariants]
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment