Fix some whitespace.

diff --git a/course/user.php b/course/user.php
index 9f4d72658fa6c6502d6d063f751b31a912433848..e10fa7f7294979e7b075524bc9f01832f2c49884 100644 (file)
--- a/course/user.php
+++ b/course/user.php
@@ -16,11 +16,11 @@
     if (! $course = get_record("course", "id", $id)) {
         error("Course id is incorrect.");
     }
-    
+
     if (! $user = get_record("user", "id", $user)) {
         error("User ID is incorrect");
     }
-    
+
     //require_login($course);
     $COURSE = clone($course);