diff --git a/mod/hotpot/lib.php b/mod/hotpot/lib.php index f2d2f5d9f57..c824deba185 100644 --- a/mod/hotpot/lib.php +++ b/mod/hotpot/lib.php @@ -1,4 +1,4 @@ -z