Bump pulldown-cmark from 0.10 to 0.11

leanprover · Jul 25, 2024 · 829a2b4 · 829a2b4
1 parent 8c40d4a
commit 829a2b4
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -31,7 +31,7 @@ clap = "2.33.3"
 error-chain = "0.12.4"
 itertools = "0.10.0"
 libc = "0.2.82"
-pulldown-cmark = { version = "0.10", default-features = false }
+pulldown-cmark = { version = "0.11", default-features = false }
 rand = "0.8.2"
 regex = "1.4.3"
 remove_dir_all = "0.8.0"

diff --git a/src/elan-cli/term2.rs b/src/elan-cli/term2.rs
@@ -176,7 +176,7 @@ impl<'a, T: Instantiable + Isatty + io::Write + 'a> LineFormatter<'a, T> {
             Tag::TableHead => {}
             Tag::TableRow => {}
             Tag::TableCell => {}
-            Tag::BlockQuote => {}
+            Tag::BlockQuote(_) => {}
             Tag::CodeBlock(_) | Tag::HtmlBlock { .. } => {
                 self.wrapper.write_line();
                 self.wrapper.indent += 2;
@@ -264,6 +264,8 @@ impl<'a, T: Instantiable + Isatty + io::Write + 'a> LineFormatter<'a, T> {
             TaskListMarker(true) => {}
             TaskListMarker(false) => {}
             InlineHtml(_) => {}
+            InlineMath(_) => {}
+            DisplayMath(_) => {}
         }
     }
 }