From b4ead712f29f6543c5f5966e649d5d00e730c720 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sun, 22 Sep 2002 14:07:15 +0000
Subject: [PATCH] Arrghh ... foget to remove the debugging thing

---
 user/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user/index.php b/user/index.php
index 3de2874c33..7a6aa7d4ba 100644
--- a/user/index.php
+++ b/user/index.php
@@ -56,7 +56,7 @@
     if ($students = get_course_students($course->id, "$dsort $dir")) {
         $numstudents = count($students);
         echo "<H2 align=center>$numstudents $course->students</H2>";
-        if ($numstudents > $USER_SMALL_CLASS) {
+        if ($numstudents < $USER_SMALL_CLASS) {
             foreach ($students as $student) {
                 print_user($student, $course, $string);
             }
-- 
2.39.5