X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.h;h=a21a772b8e8b2e40bda00ef2bb49f5acd2c12074;hb=d33c417b65f897853ca34ac471e0ce9b10c0a627;hp=64581baea304c81558074e3298d9c8744854ca03;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/ui/terminal/terminal-opts.h b/src/ui/terminal/terminal-opts.h
index 64581baea3..a21a772b8e 100644
--- a/src/ui/terminal/terminal-opts.h
+++ b/src/ui/terminal/terminal-opts.h
@@ -26,7 +26,7 @@ struct lexer;
 struct terminal_opts;
 
 struct terminal_opts *terminal_opts_init (struct argv_parser *,
-                                          enum lex_syntax_mode *,
+                                          enum segmenter_mode *,
                                           bool *process_statrc,
                                           char **syntax_encoding);
 void terminal_opts_done (struct terminal_opts *, int argc, char *argv[]);