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

diff --git a/src/ui/terminal/terminal-opts.h b/src/ui/terminal/terminal-opts.h
index 50f2319690..64581baea3 100644
--- a/src/ui/terminal/terminal-opts.h
+++ b/src/ui/terminal/terminal-opts.h
@@ -19,14 +19,16 @@
 #define UI_TERMINAL_TERMINAL_OPTS_H 1
 
 #include <stdbool.h>
-#include "libpspp/getl.h"
+#include "language/lexer/lexer.h"
 
 struct argv_parser;
+struct lexer;
 struct terminal_opts;
 
 struct terminal_opts *terminal_opts_init (struct argv_parser *,
-                                          enum syntax_mode *,
-                                          bool *process_statrc);
+                                          enum lex_syntax_mode *,
+                                          bool *process_statrc,
+                                          char **syntax_encoding);
 void terminal_opts_done (struct terminal_opts *, int argc, char *argv[]);
 
 #endif /* ui/terminal/terminal-opts.h */