From ec1931b568e35d90571ff7853574719b5da73673 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Sun, 25 Jul 2021 19:45:00 +0200
Subject: [PATCH] Doc: tabs to spaces
(cherry picked from commit 20b352eb4a8f8112cf914bce99bc57c1d47c9966)
---
docs/users_guide/using-warnings.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst
index e12b3a92e5d3..d3378b2aa638 100644
--- a/docs/users_guide/using-warnings.rst
+++ b/docs/users_guide/using-warnings.rst
@@ -1625,7 +1625,7 @@ of ``-W(no-)*``.
are used. For instance: ::
- data P = P { x :: Int, y :: Int }
+ data P = P { x :: Int, y :: Int }
f1 :: P -> Int
f1 P{..} = 1 + 3
@@ -1647,7 +1647,7 @@ of ``-W(no-)*``.
For instance: ::
- data P = P { x :: Int, y :: Int }
+ data P = P { x :: Int, y :: Int }
f1 :: P -> Int
f1 P{x,y,..} = x + y
--
GitLab