Fix test

JetBrains · Dec 3, 2024 · d4791f5 · d4791f5
1 parent 5223f27
commit d4791f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/kotlin/org/arend/documentation/ArendDocumentationCommentTest.kt b/src/test/kotlin/org/arend/documentation/ArendDocumentationCommentTest.kt
@@ -62,7 +62,7 @@ class ArendDocumentationCommentTest : ArendTestBase() {
 
         val rows = document.getElementsByClass("row")
         assertEquals(4, rows.size)
-        assertTrue(document.getElementsByTag("ol").text().contains("1. a 2. b • bb"))
+        assertTrue(document.getElementsByTag("ol").text().contains("a b bb"))
         assertEquals(2, rows.flatMap { it.select("img") }.size)
     }
 }