Fixed a notice on PHP5

diff --git a/course/groups.php b/course/groups.php
index d78f2bcbee53e28a126462e7a9f2e38bc1bb805e..0561876e6963907b1d29aef62ee33732c174b7e3 100644 (file)
--- a/course/groups.php
+++ b/course/groups.php
@@ -49,7 +49,7 @@
 
     $groups = get_groups($course->id);
 
-    if (!$USER->groupsediting) {         /// Display an overview of all groups
+    if (empty($USER->groupsediting)) {         /// Display an overview of all groups
         if (!$groups) {
             print_heading(get_string('groupsnone'));