summaryrefslogtreecommitdiff
path: root/frontends/atari
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/atari')
-rw-r--r--frontends/atari/gui.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c
index cce4e13ee..517289d49 100644
--- a/frontends/atari/gui.c
+++ b/frontends/atari/gui.c
@@ -1107,7 +1107,6 @@ static struct gui_misc_table atari_misc_table = {
.warning = atari_warn_user,
.quit = gui_quit,
- .cert_verify = gui_cert_verify,
};
/* #define WITH_DBG_LOGFILE 1 */