diff --git a/install.php b/install.php
index eeb9d85b8e7..33f7b1f91c8 100644
--- a/install.php
+++ b/install.php
@@ -128,7 +128,6 @@ $CFG->running_installer = true;
 require_once('./lib/adminlib.php');
 require_once('./lib/setuplib.php');
 require_once('./lib/moodlelib.php');
-require_once('./lib/deprecatedlib.php');
 require_once('./lib/weblib.php');
 require_once('./lib/adodb/adodb.inc.php');
 require_once('./lib/environmentlib.php');