diff --git a/web/app/controllers/problem_set.php b/web/app/controllers/problem_set.php index 3910045..de7705f 100644 --- a/web/app/controllers/problem_set.php +++ b/web/app/controllers/problem_set.php @@ -129,7 +129,7 @@ EOD; $header .= '