diff --git a/admin/user.php b/admin/user.php
index cd0fd26ddcb..8de53c2cdc8 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -1,7 +1,6 @@
 <?PHP // $Id$
 
     require_once("../config.php");
-    require_once("../user/lib.php");
 
     $recordsperpage = 30;