diff options
author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-14 22:24:35 +0200 |
---|---|---|
committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-14 22:24:35 +0200 |
commit | 65e9fbe3e41caa7a34d60dc83471e70eb329547f (patch) | |
tree | a8b0c9eae31ba53d12c9263c2a24a86e543a2c9e | |
parent | c8af796a472cec8692f3b3def0a7339fa329a17a (diff) | |
download | metacity-65e9fbe3e41caa7a34d60dc83471e70eb329547f.tar.gz |
frames: use correct event to suppress defect
Coverity CID: #1445650
-rw-r--r-- | src/ui/frames.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/frames.c b/src/ui/frames.c index e47046f0..68a3729b 100644 --- a/src/ui/frames.c +++ b/src/ui/frames.c @@ -1931,7 +1931,7 @@ meta_frames_button_release_event (GtkWidget *widget, case META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING: break; - /* coverity[dead_error_line] */ + /* coverity[dead_error_begin] */ case META_GRAB_OP_NONE: g_assert_not_reached (); break; |