Fixed missing library include when deleting an instance

diff --git a/mod/workshop/lib.php b/mod/workshop/lib.php
index 154e5188ae776eb31b3d3cf95d821b0c89e750bc..d2dff14639a0c3f73184f0aa3c4f2ef02c64ba37 100644 (file)
--- a/mod/workshop/lib.php
+++ b/mod/workshop/lib.php
@@ -156,7 +156,9 @@ function workshop_update_instance(stdClass $workshop) {
  * @return boolean Success/Failure
  */
 function workshop_delete_instance($id) {
-    global $DB;
+    global $CFG, $DB;
+    require_once($CFG->libdir.'/gradelib.php');
+
 
     if (! $workshop = $DB->get_record('workshop', array('id' => $id))) {
         return false;