Commit a975e834 authored by's avatar
Browse files

Remove unhelpful sentence (see Trac #1832)

Merge to 6.8 branch
parent e019188e
......@@ -1744,11 +1744,6 @@ dictionaries for <literal>Eq</literal> and <literal>Show</literal> respectively,
extract it on pattern matching.
Notice the way that the syntax fits smoothly with that used for
universal quantification earlier.
<sect3 id="existential-records">
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment