From 1200a7b395185856a2b78fcc5f0d55c3731afdff Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Tue, 2 Apr 2024 12:05:21 +0900
Subject: [PATCH] rafactor: using common syntax

---
 Mdgen/ConvertToMd.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Mdgen/ConvertToMd.lean b/Mdgen/ConvertToMd.lean
index 8b9f260..1cb7ad2 100644
--- a/Mdgen/ConvertToMd.lean
+++ b/Mdgen/ConvertToMd.lean
@@ -44,7 +44,7 @@ private def buildBlocks (lines : List String) : List Block := Id.run do
       content ++= line ++ "\n"
 
   if content != "" then
-    blocks ++= [{content := content.trim, toCodeBlock := true}]
+    blocks ++= [{content := content.trim, toCodeBlock := toCodeBlock}]
   return blocks
 
 private def Block.toString (b : Block) : String :=