From 5bf04b365ed694f9e3f34b16a9fbb3d98d97a6c8 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Wed, 21 Nov 2007 16:30:25 +0000
Subject: [PATCH] Fix some whitespace.

---
 course/user.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/course/user.php b/course/user.php
index 9f4d72658f..e10fa7f729 100644
--- 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);
 
-- 
2.39.5