Fixed typo in index name

diff --git a/lib/db/postgres7.php b/lib/db/postgres7.php
index 1f42ea2380c7eedd0bafed8ce3ff0af3b8b40f47..bb4c43146d8a7e3c2cf92099c80abcda97fd004a 100644 (file)
--- a/lib/db/postgres7.php
+++ b/lib/db/postgres7.php
@@ -714,7 +714,7 @@ function main_upgrade($oldversion=0) {
         table_column('user_students', '', 'enrol', 'varchar', '20', '', '', 'not null');
         table_column('user_teachers', '', 'enrol', 'varchar', '20', '', '', 'not null');
         modify_database("","CREATE INDEX {$CFG->prefix}user_students_enrol_idx ON {$CFG->prefix}user_students (enrol);");
-        modify_database("","CREATE INDEX {$CFG->prefix}user_teachers_enrolidx ON {$CFG->prefix}user_teachers (enrol);");
+        modify_database("","CREATE INDEX {$CFG->prefix}user_teachers_enrol_idx ON {$CFG->prefix}user_teachers (enrol);");
     } 
     return $result;
 }