--- workflow.module	2008-06-16 09:38:32.000000000 -0500
+++ workflow.module	2008-06-16 09:38:31.000000000 -0500
@@ -1647,7 +1647,7 @@ function workflow_create($name) {
 function workflow_update($wid, $name, $tab_roles) {
   db_query("UPDATE {workflows} SET name = '%s', tab_roles = '%s' WHERE wid = %d", $name, implode(',', $tab_roles), $wid);
   // Workflow name change affects tabs (local tasks), so force menu rebuild.
-  cache_clear_all('*', 'menu', TRUE);
+  cache_clear_all('*', 'cache_menu', TRUE);
   menu_rebuild();
 }