From 9e5fe957804f9eadea0d3b6f94c07975b03fbe9f Mon Sep 17 00:00:00 2001
From: toyomoyo <toyomoyo>
Date: Wed, 8 Aug 2007 07:51:55 +0000
Subject: [PATCH] removing an extra include

---
 course/user.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/course/user.php b/course/user.php
index bbdacad704..cbf9152ae0 100644
--- a/course/user.php
+++ b/course/user.php
@@ -70,7 +70,6 @@
         case "grade":
             $course = get_record('course', 'id', required_param('id', PARAM_INT));
             if (!empty($course->showgrades)) {
-                require_once $CFG->libdir.'/gradelib.php';
                 require_once $CFG->dirroot.'/grade/lib.php';
                 require_once $CFG->dirroot.'/grade/report/user/lib.php';
                 $context     = get_context_instance(CONTEXT_COURSE, $id);
-- 
2.39.5