From 62d720db4f6a53014400a608baf5c56555258eee Mon Sep 17 00:00:00 2001
From: Potato Hatsue <1793913507@qq.com>
Date: Mon, 21 Jun 2021 03:53:39 +0000
Subject: Fix a typo in pattern synonyms doc

---
 docs/users_guide/exts/pattern_synonyms.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/exts/pattern_synonyms.rst b/docs/users_guide/exts/pattern_synonyms.rst
index 9415fb72b4..6055dffe8e 100644
--- a/docs/users_guide/exts/pattern_synonyms.rst
+++ b/docs/users_guide/exts/pattern_synonyms.rst
@@ -198,9 +198,9 @@ constructor can be used.
 Usage                                     Example
 =======================================   ==================================
 As a constructor                          ``zero = Point 0 0``
-As a constructor with record syntax       ``zero = Point { x = 0, y = 0}``
+As a constructor with record syntax       ``zero = Point { x = 0, y = 0 }``
 In a pattern context                      ``isZero (Point 0 0) = True``
-In a pattern context with record syntax   ``isZero (Point { x = 0, y = 0 }``
+In a pattern context with record syntax   ``isZero (Point { x = 0, y = 0 }) = True``
 In a pattern context with field puns      ``getX (Point {x}) = x``
 In a record update                        ``(0, 0) { x = 1 } == (1,0)``
 Using record selectors                    ``x (0,0) == 0``
-- 
cgit v1.2.1