From 3f4deb2b86ef6b87285e68fda9a34237a9d8a306 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Thu, 25 Jul 2002 13:54:07 +0000
Subject: [PATCH] Extra space at end of file :-)

---
 mod/survey/lib.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/mod/survey/lib.php b/mod/survey/lib.php
index 2b917779bd..fce203cade 100644
--- a/mod/survey/lib.php
+++ b/mod/survey/lib.php
@@ -126,14 +126,13 @@ function survey_user_outline($course, $user, $mod, $survey) {
         $result->info = "Done";
         $result->time = $lastanswer->time;
         return $result;
-
     }
     return NULL;
 }
 
 
 function survey_user_complete($course, $user, $mod, $survey) {
-    global $CFG, $THEME;
+    global $CFG;
 
     if (survey_already_done($survey->id, $user->id)) {
         echo "<IMG SRC=\"$CFG->wwwroot/mod/survey/graph.php?id=$mod->id&sid=$user->id&type=student.png\">";
@@ -143,4 +142,3 @@ function survey_user_complete($course, $user, $mod, $survey) {
 }
 
 ?>
-
-- 
2.39.5