Clears the cached cached data for a single named menu.
function menu_cache_clear($menu_name = 'tools') {
cache('menu')
->deleteTags(array(
'menu' => $menu_name,
));
// Also clear the menu system static caches.
menu_reset_static_cache();
}