From 9228ea2965a0119207793f4e548be4aa711b4cde Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <miroslav.kratochvil@uni.lu>
Date: Thu, 22 Jun 2023 09:01:14 +0200
Subject: [PATCH] format

---
 FormatOpts.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FormatOpts.hs b/FormatOpts.hs
index 4759f89..dcdb4c2 100644
--- a/FormatOpts.hs
+++ b/FormatOpts.hs
@@ -28,4 +28,4 @@ plainWriteOpts = def {writerWrapText = WrapNone}
 
 -- | Default options for making tables of contents with certain depth.
 tocWriteOpts :: Int -> WriterOptions
-tocWriteOpts n = def { writerTOCDepth = n}
+tocWriteOpts n = def {writerTOCDepth = n}