From f8f92c3c6f1588b9261dd99b9579238f06f310fb Mon Sep 17 00:00:00 2001
From: rkingdon <rkingdon>
Date: Tue, 22 Jun 2004 16:49:32 +0000
Subject: [PATCH] locallib.php added to index.php, it needs one of the
 functions.

---
 mod/exercise/index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mod/exercise/index.php b/mod/exercise/index.php
index eb0757b2cb..4699a8b4cb 100644
--- a/mod/exercise/index.php
+++ b/mod/exercise/index.php
@@ -2,6 +2,7 @@
 
     require("../../config.php");
     require("lib.php");
+    require("locallib.php");
 
     require_variable($id);   // course
 
-- 
2.39.5