diff options
Diffstat (limited to 'mail/e-mail-config-page.c')
| -rw-r--r-- | mail/e-mail-config-page.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mail/e-mail-config-page.c b/mail/e-mail-config-page.c index 54c71b1c0c..36f8c08835 100644 --- a/mail/e-mail-config-page.c +++ b/mail/e-mail-config-page.c @@ -191,6 +191,7 @@ e_mail_config_page_compare (GtkWidget *page_a, if (interface_a == NULL && interface_b != NULL) return 1; + /* coverity[var_deref_op] */ if (interface_a->sort_order < interface_b->sort_order) return -1; |