diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index cd20d27e95..624e4870d0 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -1741,7 +1741,6 @@ function PMA_getUserSpecificRights($tables, $user_host_condition)
 
     if (PMA_isValid($_REQUEST['pred_dbname'])) {
         $dbname = $_REQUEST['pred_dbname'];
-        unset($pred_dbname);
     } elseif (PMA_isValid($_REQUEST['dbname'])) {
         $dbname = $_REQUEST['dbname'];
     }