diff --git a/user/lib.php b/user/lib.php
index 536a54d73f6..fe7d3385898 100644
--- a/user/lib.php
+++ b/user/lib.php
@@ -33,7 +33,7 @@
  * @return int id of the newly created user
  */
 function user_create_user($user, $updatepassword = true) {
-    global $DB, $CFG;
+    global $DB;
 
     // Set the timecreate field to the current time.
     if (!is_object($user)) {