Devi avere gli allarmi disabilitati nel file php.ini. A parte questo, parafrasando il tuo caso, di solito faccio così:
codice:
$_SESSION['menu'] = array_diff($_SESSION['menu'],$_GET);
print_r($_SESSION);