compiler warning in MenuBackend

[Jean-Marc Lasgouttes]

Georg, is this patch correct?

JMarc


Index: src/MenuBackend.C
===================================================================
--- src/MenuBackend.C	(revision 13965)
+++ src/MenuBackend.C	(working copy)
@@ -520,6 +520,9 @@ void expandFormats(MenuItem::Kind kind, 
 			break;
 		case MenuItem::UpdateFormats:
 			break;
+		default:
+			BOOST_ASSERT(false);
+			break;
 		}
 		if (!(*fit)->shortcut().empty())
 			label += '|' + (*fit)->shortcut();