diff --git a/web/app/libs/uoj-html-lib.php b/web/app/libs/uoj-html-lib.php index 864a155..fde3e40 100644 --- a/web/app/libs/uoj-html-lib.php +++ b/web/app/libs/uoj-html-lib.php @@ -433,7 +433,7 @@ class JudgmentDetailsPrinter { $language = $node->getAttribute("language"); echo '
';