From fce45181d7136a4fcdd2c3927990323f92d6f0f9 Mon Sep 17 00:00:00 2001
From: martinlanghoff <martinlanghoff>
Date: Wed, 7 Sep 2005 22:48:48 +0000
Subject: [PATCH] Fix for bug 4031 -- stupid mistake of using
 get_record_select() when I mean get_record() - see the bug entry for more
 details

---
 enrol/database/enrol.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/enrol/database/enrol.php b/enrol/database/enrol.php
index c43f89adb22..80c6cb73793 100644
--- a/enrol/database/enrol.php
+++ b/enrol/database/enrol.php
@@ -71,7 +71,7 @@ function get_student_courses(&$user) {
                 foreach ($user->student as $courseid => $value) {
 
                     // unenrol only if it's a record pulled from external db
-                    if (get_record_select('user_students', 'userid', $user->id, 'courseid', $courseid, 'enrol', 'database')) {
+                    if (get_record('user_students', 'userid', $user->id, 'courseid', $courseid, 'enrol', 'database')) {
                         unenrol_student($user->id, $courseid);       /// Unenrol the student
                         unset($user->student[$course->id]);           /// Remove from old list
                     } else {