Config Tool: Changed ESBMC Manage to ESBMC Install menu

esbmc · Feb 13, 2024 · 4eb02b2 · 4eb02b2
1 parent 4b0b5ae
commit 4eb02b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/esbmc_ai_config/contexts/esbmc_menu/esbmc_menu.py b/esbmc_ai_config/contexts/esbmc_menu/esbmc_menu.py
@@ -20,7 +20,7 @@ def _get_menu_choices(self) -> list[str | urwid.Widget]:
         return [
             urwid.AttrMap(
                 urwid.Button(
-                    "Manage ESBMC installations",
+                    "Install ESBMC",
                     on_press=lambda button: ContextManager.push_context(ESBMCManage()),
                 ),
                 None,