diff --git a/web/app/controllers/problem_list.php b/web/app/controllers/problem_list.php index 80820e8..a727e30 100644 --- a/web/app/controllers/problem_list.php +++ b/web/app/controllers/problem_list.php @@ -23,7 +23,7 @@ if (isProblemVisibleToUser($problem, $myUser)) { echo '