diff --git a/mod/choice/view.php b/mod/choice/view.php index 71b8a0ffa27..8cf6bd7bec2 100644 --- a/mod/choice/view.php +++ b/mod/choice/view.php @@ -318,7 +318,7 @@ echo "
".fullname($user, $isteacher)."