Update docs/docs/reference/metaprogramming/quote-matching.md

Co-Authored-By: Fengyun Liu <[email protected]>

Author: nicolasstucki

docs/docs/reference/metaprogramming/quote-matching.md

@@ -43,7 +43,7 @@ Operations:
 '[T @annot] =?= '[P]   ===>   '[T] =?= '[P]
 '[T] =?= '[P @annot]   ===>   '[T] =?= '[P]
 
-'{ {e0; e1; ...; en}; em } =?= '{ {p0; p1; ...; pm}; em }   ===>   '{ e0; {e1; ...; en; em} } =?= '{ p0; {p1; ...; pm; em} }
+'{ {e0; e1; ...; en}; em } =?= '{ {p0; p1; ...; pn}; pm }   ===>   '{ e0; {e1; ...; en; em} } =?= '{ p0; {p1; ...; pn; pm} }
 '{ val x: T = e1; e2 } =?= '{ val y: P = p1; p2 }   ===>   withEnv(x -> y)('[T] =?= '[P] &&& '{e1} =?= '{p1} &&& '{e2} =?= '{p2})
 '{ def x0(x1: T1, ..., xn: Tn): T0 = e1; e2 } =?= '{ def y0(y1: P1, ..., yn: Pn): P0 = p1; p2 }   ===>   withEnv(x0 -> y0, ..., xn -> yn)('[T0] =?= '[P0] &&& ... &&& '[Tn] =?= '[Pn] &&& '{e1} =?= '{p1} &&& '{e2} =?= '{p2})