diff options
Diffstat (limited to 'src/gui/panels/symbols.c')
| -rw-r--r-- | src/gui/panels/symbols.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/gui/panels/symbols.c b/src/gui/panels/symbols.c index d1e60fc..f016199 100644 --- a/src/gui/panels/symbols.c +++ b/src/gui/panels/symbols.c @@ -1550,6 +1550,11 @@ static const char *g_symbols_panel_setup(const GSymbolsPanel *panel, unsigned in break; + default: /* Pour GCC... */ + assert(false); + result = ""; + break; + } /* Mémorisation de tous les noeuds ouverts */ |