rafactor: using common syntax

Seasawher · Apr 2, 2024 · 1200a7b · 1200a7b
1 parent e41c6df
commit 1200a7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 :=