summaryrefslogtreecommitdiff
path: root/frontends/gtk/gui.c
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/gtk/gui.c')
-rw-r--r--frontends/gtk/gui.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/gtk/gui.c b/frontends/gtk/gui.c
index 740543b44..384f3fccc 100644
--- a/frontends/gtk/gui.c
+++ b/frontends/gtk/gui.c
@@ -1072,7 +1072,6 @@ static struct gui_misc_table nsgtk_misc_table = {
.quit = gui_quit,
.launch_url = gui_launch_url,
- .cert_verify = gtk_cert_verify,
.pdf_password = nsgtk_pdf_password,
};